Axiom Math希望将AI垃圾内容排除于数学之外。
随着AI在数学领域涌入无约束证明，Axiom Math正押注于验证。该初创公司的AI代理刚刚正式验证了Stacks项目，该项目是该领域最大的库之一。
-
-
腾讯发布Hy4，具备视觉与计算机应用能力，称在中国AI模型中排名第二
腾讯已发布Hy4，这是其首个多模态语言模型，能够理解图像并能够自主运行软件。在人工智能分析指数上，其得分为35分，表现稳健，但仍落后于Kimi K3.1 Pro。据腾讯自身称，在高难度数学运算与复杂图像分析方面，Hy4仍远远落后于最佳商业模型。《腾讯发布具备视觉能力与计算机使用功能的Hy4，在中国AI模型中排名第二》一文最初发表于《解码者》杂志。