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.
Jun 30, 2026
Plus: NVIDIA hands AI agents a real science lab, robots learn from video games, a world-first cell therapy cracks a solid tumour, a walk-away-safe reactor finds a grid partner, and an AI designs quantum codes humans couldn't.
