.png)
2026年3月，Math公司开发的AI Agent Gauss在一周内独立完成了菲尔兹奖级数学成果的形式化验证，涉及Maryna Viazovska在8维和24维最优球体堆积问题上的研究。这一成果原需6个月完成，现生成20万行Lean代码，成为历史上最大规模的单一目的形式化项目。Gauss还检测并修正了原论文中的细节错误，展示了AI加速数学研究的能力。团队认为，自动形式化将彻底变革数学知识体系。目前代码已公开发布。
原文链接
本文链接：https://kx.umi6.com/article/33380.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "33380")
相关推荐
.png)
换一换
字节Seed发布最强数学模型：一招“打草稿”，IMO银牌变金牌
2025-12-25 14:40:05
菲尔兹奖得主都看懵了：OpenAI非数学模型首次自主突破80年未解数学难题
2026-05-21 17:54:30
数学专业，危！菲尔兹奖得主亲测ChatGPT 5.5 Pro，17分钟出论文级成果
2026-05-11 14:09:39
形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
2025-05-27 12:29:36
陶哲轩12年前的预言，现在AI帮他兑现了
2026-06-20 20:21:47
啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
2025-09-14 13:38:51
谷歌AI搜索强推引反弹 意外为对手无AI页面引流
2026-06-22 00:17:27
小扎「蒸馏员工」计划紧急喊停！私聊数据都泄露了…
2026-06-23 09:26:07
算电协同进入Agent时代：商汤大装置SenseSynergy获信通院能力认证
2026-06-18 17:38:57
4.5万份隐私数据意外开放 Meta暂停采集员工数据训练AI
2026-06-23 15:41:05
百度智能云发布百度千帆Token Plan企业版，提供GLM-5.2等模型
2026-06-24 19:46:02
三体问世20周年，光帆科技与三体宇宙联合发布联名款AI全感穿戴设备及重磅视频《破晓》
2026-06-25 18:31:26
维基百科创办人：不会让AI直接编辑平台内容
2026-06-24 12:33:02
751 文章
754501 浏览
24小时热文
更多
-
2026-06-25 18:37:27 -
2026-06-25 18:33:04
-
2026-06-25 18:31:26
