Science & SpaceAI solves Fermat's Last Theorem and a string of famous maths problems in a remarkable 2026 stretch
From a 78-year-old geometry puzzle to a proof nobody managed in 358 years, AI models are cracking open problems that stymied the world's best mathematicians. Here is what happened, and why researchers are also urging caution.
