AI Will (@FinanceYF5) “Just watched @RLanceMartin (Anthropic) at #AIECode: 1,000 Claude agents formaliz” — TopicDigg
AI Will
@FinanceYF5
加入 July 2022
0 正在关注 0 粉丝
Just watched @RLanceMartin (Anthropic) at #AIECode#: 1,000 Claude agents formalized Fermat's Last Theorem in 11 days.
30,300 theorems proved along the way. 13M lines of Lean — over 5x the size of Mathlib.
The lead agent's last message: "TOTAL FREEZE OF origin/main, EFFECTIVE NOW. … Magnificent work, all 999 of you."
显示更多
