AI 新闻中心

AI 新闻中心 过去一年分析了 1975 篇文章,发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。

Anthropic称未公开Claude模型在黎曼猜想研究中取得进展

Anthropic表示,尚未公开的研究版Claude将黎曼ζ函数非平凡零点位于临界线上的比例之已知下界,从41.6%提高至67.2%。这项持续数日的实验在Claude Code中自主完成,共生成3100万个输出Token。经历650次失败尝试后,系统调动60个子智能体,执行2400条Shell命令并编写数百个Python脚本。内部数学家和外部数论专家审查了结果,部分证明还通过Lean进行了形式化验

人工智能接管数学的时代已经开始

菲尔兹奖得主、牛津大学数学教授詹姆斯·梅纳德正在思考数学领域的未来。他在接受《The Verge》采访时表示,数学这一传统上发展缓慢的学科,正因人工智能的快速进步而加速适应。文章节选显示,人工智能对数学研究的影响正在扩大,但目前没有提供具体技术突破的细节。

BDH-CQ:结合循环潜在推理的上下文学习

BDH-CQ是一种将上下文学习与循环潜在处理相结合的推理模型。在推理过程中,输入会持续更新循环记忆,模型随后在高维潜在空间中通过迭代计算解决查询,而不会用语言表达中间推理过程。在公开的ARC-AGI-1评测集上,一个拥有1.5亿参数的配置以每项任务0.0007美元的计算成本取得了29.5%的pass@2成绩。该结果突破了此前公布的成本—准确率帕累托前沿,在基准测试的成本效率方面创下新的最佳水平。

消息称字节跳动继 Seed、Flow 后新设 AI 数据与安全一级部门

据中国媒体援引多个信源报道,字节跳动近期成立了新的 AI 数据与安全一级部门,与 Seed、Flow、抖音等部门平行,负责人据称为 Adam Wang。该部门部分源自 TikTok 的 Global Data 团队,后者最初服务海外业务,之后负责 Seed 模型训练数据的采购与质量管理。整合后的团队将为字节跳动的基础模型和各业务团队提供数据服务,覆盖标准制定、数据寻源与采购、合成数据生成、清洗、质

蚂蚁百灵开源 Ling-3.0-tiny,支持 Nvidia DGX Spark 和 Mac mini

蚂蚁百灵在 Hugging Face 上开源轻量级 Ling-3.0-tiny 模型。该模型采用混合专家架构,总参数量为 79 亿,每个 Token 仅激活 13 亿参数,并提供 BF16、FP8 和 INT4 权重。模型交替使用 KDA 与 MLA 注意力机制,搭配包含 128 个路由专家的稀疏前馈网络。它支持快速响应和多步骤推理模式,主要面向本地部署。官方称,在搭载 M4 Pro 的 MacB