invest1 distinct publisher
Claude formalized Fermat's Last Theorem in 11 days against a human project funded through 2029
Anthropic's own account has dozens of agents writing 13 million machine-checked lines in 11 days, about 7% of them dead ends, and only after a Columbia team built the shared to-do list that stopped them duplicating work.
Publishers:decrypt.co
Reality
- Evidence50
- Adoption32
- Hype gap+34
- Incentives74