Robo-Mathematician
9th May 2026
OpenAI says one of its general-purpose reasoning models has disproved an 80-year-old conjecture by mathematician Paul Erdős, a result validated by mathematicians but one that still leaves the deeper problem unsolved.
4th May 2026
Sixteen researchers behind the Leiden Declaration, endorsed by the International Mathematical Union, warn that AI and tech-industry money threaten the values, autonomy and future of mathematical research.