Axiom称AI智能体完成有限单群分类机器验证

数学AI初创公司Axiom称，其投入数十个AI智能体，在24天内完成了有限单群分类（CFSG）的完整机器验证，成果以Lean编写，代码达4310万行。 Axiom同时表示，形式化命题是否确实表达了原本意图的数学主张，仍需人工另行核对；公司计划整理验证中发现的错误与修正，供群论研究者使用。因此，目前可确认的是Axiom公布了这一验证结果，其数学含义的最终确认尚未完成。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。