X · Kevin Weil·· 5 小时前AI 评分32
有限单群分类完成 Lean 形式化验证：15000 页证明、500 篇论文、100 位数学家
Slowly, then all at once. A full Lean formalization of the classification of finite simple groups! The original proof was 15,000 pages of painstaking work across 500 papers by 100 mathematicians. Now settled beyond a doubt. https://t.co/zwmwYwemhP
AI 导读
有限单群分类已被完整形式化到 Lean 中。原始证明横跨 500 篇论文、约 15000 页，由 100 位数学家完成，如今这一结论已得到确凿确认。
博主
Kevin Weil 🇺🇸@kevinweil
粉丝 12万
CEO @warpsciences BoD @Cisco @Stoke_Space LTC @USArmyReserve Ex CPO+Science @OpenAI, @Planet @Instagram @Twitter ❤️ @elizabeth ultramarathons kids cats math
互动数据
- 浏览
- 1.1万
- 点赞
- 212
- 评论
- 19
- 分享
- 16
- 收藏
- 25
约为这个来源平时的 2.1 倍
数字来自平台，为最近一次抓取时的数据。
来源：X · Kevin Weil · x.com