AI and Humans Verify Fields Medal Proof for the First Time
When Ukrainian mathematician Maryna Viazovska received a Fields Medal—widely regarded as the Nobel Prize for mathematics—in July 2022, it was big news. Not only was she the second woman to accept the honor in the award’s 86-year history, but she colle…
AI Is Acing Math Exams Faster Than Scientist Write Them
Mathematics is often regarded as the ideal domain for measuring AI progress effectively. Math’s step-by-step logic is easy to track, and its definitive automatically verifiable answers remove any human or subjective factors. But AI systems are improvi…
AI models are starting to crack high-level math problems
Since the release of GPT 5.2, AI tools have become inescapable in high-level mathematics.