登录

当前标签：有限单群

数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞

数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞

人类几代数学家耗时半个多世纪的有限单群分类定理，被数十个AI Agent在24天内写成4310万行Lean代码，过程中还揪出1986年Walter论文中的反例，逼出一条新证明。