Axiom Math希望将AI垃圾内容排除于数学之外。
随着AI在数学领域涌入无约束证明，Axiom Math正押注于验证。该初创公司的AI代理刚刚正式验证了Stacks项目，该项目是该领域最大的库之一。
-
-
腾讯发布Hy4，具备视觉与计算机应用能力，称在中国AI模型中排名第二
腾讯已发布Hy4，这是其首个多模态语言模型，能够理解图像并能够自主运行软件。在人工智能分析指数上，其得分为35分，表现稳健，但仍落后于Kimi K3.1 Pro。据腾讯自身称，在高难度数学运算与复杂图像分析方面，Hy4仍远远落后于最佳商业模型。《腾讯发布具备视觉能力与计算机使用功能的Hy4，在中国AI模型中排名第二》一文最初发表于《解码者》杂志。
-
使用可穿戴传感器检测高血压迹象
健康与生物科学
-
开放权重巫师：克里斯·亚历克西乌克通过开放模型让AI变得简单
克里斯·亚历克西克对于开源AI有一个简单的准则：如果你相信它，就要大声宣扬它。“我们应该在屋顶上大声宣传这项技术，”亚历克西克说，他是位于多伦多的高级产品研究工程师，在英伟达从事深度学习领域工作，专门致力于使开源大语言模型对实际工作中的开发者具有实用性。
-
每字节更多性能：全栈代码合作为AI解决内存挑战
更大模型、更长的上下文以及代理式应用正在增加GPU内存压力，同时供应紧张且价格上涨——这一趋势预计将在近期持续。英伟达与内存合作伙伴紧密合作，迅速采用最新的内存技术。英伟达是首个在加速计算栈中应用HBM3e和HBM4技术的公司。