Axiom 智能体集群用 24 天完成有限单群分类定理的机器验证
TL;DR · AI 摘要
Axiom AI集群24天完成数学定理机器验证，将15,000页论文转为3800行代码，发现34处关键差异。
核心要点
- AI智能体集群24天完成CFSG定理验证，耗时较人类团队缩短数十年
- 15,000页数学论文被转化为3800行机器可验证代码
- 验证过程中发现34处数学文献中的关键差异
结构提纲
按章节快速跳转。
金句 / Highlights
值得收藏与分享的关键句。
The formal proof of CFSG may now be among the largest open-source projects ever
AI agents assembled 3800 lines of code from 15,000 pages of mathematical arguments
Discovered 34 critical discrepancies in published mathematical literature
Axiom æºè½ä½éç¾¤ç¨ 24 天å®ææéå群åç±»å®ççæºå¨éªè¯ · AIHOT
Rohan Paul
· @
rohanpaul_ai
· X
·
2026-10-28 07:31
5 å°æ¶å
ç²¾é
AI è¯å
76
AI 导读
ä½è 称 Verified AI è¿æ¥æ å¿æ§æ份ï¼Axiom ç AI æºè½ä½éç¾¤ç¨ 24 天å®ææ°å¦å²ä¸æé¿è¯æçéªè¯ï¼å°è·¨è¶ 500 å¤ç¯è®ºæç 15,000 页æéå群åç±»å®çï¼CFSGï¼è½¬å为 3800 ä¸è¡ä»¥ä¸æºå¨éªè¯ä»£ç ï¼å¹¶åç°å·²å表记å½ä¸ç 34 å¤ä¸¥éåºå ¥ãå¼ç¨å 容补å 称该形å¼åè¯æå¯è½æ¯æ大çå¼æºé¡¹ç®ä¹ä¸ï¼å¾ä¸æ¾ç¤º Axiom CFSG è¾¾ 43.0M è¡ï¼çº¦æ¯ 37 天翻åã
æ¨èçç±
åææ±æ»äº AI æºè½ä½é群形å¼åéªè¯æéå群åç±»å®ççè§æ¨¡æ°æ®ï¼å¯ä½ä¸ºè§å¯å½¢å¼åéªè¯è½åè¿å±çä¸ä¸ªåç §ç¹ã
2 ç¯æ¥é
æ£æ · AI ç¿»è¯
Verified AI ååè¿æ¥äºå®æè¾ç çä¸ä¸ªæã
ä¸ç¾¤ AI æºè½ä½ååå®æäºä»»ä½æ°å¦å®¶é½æ æ³ç¬èªå®æçäºï¼æ£æ¥äºåå²ä¸æé¿è¯æçæ¯ä¸ä¸ªæ¥éª¤ã
40 å¤å¹´æ¥ï¼æ°å¦å®¶ä»¬ä¸ç´å¨æéå群åç±»çåºç¡ä¸ç»§ç»ç 究ï¼å´æ²¡æ人è½å¤ç¬èªæ ¸éªå®ã
Axiom ç AI æºè½ä½éç¾¤ä» ç¨ 24 天就å®æäºè¿é¡¹å·¥ä½ï¼å° 500 å¤ç¯è®ºæä¸ç 15,000 页å 容转å为 3800 å¤ä¸è¡æºå¨éªè¯ä»£ç ãå®è¿åç°äºå·²å表记å½ä¸ç 34 å¤ä¸¥éå·®å¼ã
å¼ç¨ Leo @ biosemiote
CFSG çå½¢å¼åè¯æå¦ä»å¯è½å·²æ为æå²ä»¥æ¥æ大çå¼æºé¡¹ç®ä¹ä¸ãè§çæºè½ä½å°å ¶ç»è£ èµ·æ¥ï¼è®©äººå次æè¯å°å ¶èåé£ä»¤äººæ¬çç人类æå°±ãè¿å¼ å¾ä»£è¡¨äºæ°å¦å®¶ä»¬æ°åå¹´æ¥åå±åºç约 15,000 页é综å¤æç论è¯ã
åæ
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.
å¨ X æ¥ç被å¼ç¨çå¸å
æ¥æºï¼ Rohan Paul · x.com
Agent æºè½ä½
è¡ä¸å¨æ
#
Agent