原帖引用 · 原文
Rohan Paul@rohanpaul_ai
@axiommathai A very good day for th Lean based formal mathematics.
would love to see if there a writeup on the build infrastructure for teams running large Lean projects of their own?
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations. https://t.co/Y1P26abyPQ
在 X 查看这条帖子 ↗
· UTC+8