science1 distinct publisher
Eleven days of machine time turned Wiles's 100 pages into 13 million lines of Lean
Anthropic says its Claude agents ran autonomously for 11 days to formalise Fermat's Last Theorem in 13 million lines of Lean, a result that rests on a finished human proof and 2 million lines of prior formalisation.
Publishers:newscientist.com
Reality
- Evidence42
- Adoption25
- Hype gap+30
- Incentives78