Whatever else it's done, AI has solved the problem of the "burden of knowledge" in science. This is why we should think of AI not as a substitute for human individuals, but as our World-Mind -- a centralized clearinghouse for all our collective knowledge and wisdom.
JJarred SumnerX· 9h ago
The heavy lifting was recent human work - Baluyot, Goldston, Suriajaya & Turnage-Butterbaugh, plus a Bombieri paper from 2000. Claude’s contribution was seeing they fit together. Goldston himself looked over the paper. Proof is formalized in Lean.
10:39 PM · Aug 10, 2026 · via X