‘Sensational’ proof topples decades-old geometry problem

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level mathematics