媒体量子位2026/03/03 18:286940
AI Agent Gauss在短短一周内独立完成了2022年菲尔兹奖得主Maryna Viazovska关于8维和24维最优球体堆积问题的形式化证明。这项由Math Inc.开发的AI，仅用5天就完成了8维部分的验证，并在一周内生成了约20万行Lean代码，成为史上最大规模的单一目的Lean形式化项目。Gauss不仅大幅缩短了原需数月的工作量，还自主发现并…
专题：proof-assistant
按该标签聚合的大模型资讯列表（自动分类与标签提取）。共 1 篇文章。