原帖引用 · 原文
Rohan Paul@rohanpaul_ai
@biosemiote Machine-checked math at swarm scale is here. what a magical time for mathematics.
The formal proof of CFSG may now be among the largest open-source projects ever. Watching agents assemble it is a reminder of the awe-inspiring human achievement behind it. The graph represents some 15,000 pages of intricate arguments developed by mathematicians over decades. https://t.co/13THDKI50f
在 X 查看这条帖子 ↗
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