#mathematics
August 2026
- Superhuman AI could produce endless mathematics and still make the field worse
Daniel Litt's deliberately pessimistic scenario for AI mathematics: papers and proofs become abundant while attention, understanding, trust, mentorship, and open exchange collapse.
July 2026
- AI is getting good at math. The hard part is knowing what counts as progress
Notes from Dwarkesh Patel's conversation with Grant Sanderson on AI math progress, IMO gold, Millennium problems, conjectures, definitions, Lean, learning, and why the human bottleneck may move from proving theorems to judging which ideas matter.
