Jul 27, 2026
AI has gone from failing at arithmetic to proposing new theorems and helping topple an 87-year-old conjecture, and because every proof can be checked to the last step, maths is the rare place a machine cannot bluff.
