Crossed Wires: AI smashes the foundations of the global kingdom of mathematics
Daily Maverick | 19.10.2026 01:53
On the night of 6 October, OpenAI released a dump of 722 AI-generated mathematics papers, representing somewhere north of 372 proofs (or partial proofs) of unsolved and open maths problems (about 300 of them have been formally verified). The proofs wiped out decades (and more) of ongoing human enquiry in several mathematical subfields. And each proof took a mere three hours of compute time.
