Earlier this week, OpenAI published a trove of hundreds of mathematical results it claimed could “push the frontier of human ...

A South Korean ninth grader says he used Anthropic's Claude to prove that a 62-faced solid cannot pass through a hole in an ...

The Simons Foundation, in collaboration with Anthropic and OpenAI, has launched a $15 million initiative to support ...

First Proof benchmark results released October 14, 2026, show frontier AI systems solved 90% of unpublished research math ...

Adam Sikora’s complex math problem was used for the latest round of experiments testing AI’s rapidly evolving mathematical ...

For the first time, Chinese researchers have used a domestically developed large language model (LLM) to help solve a ...

The Simons Foundation has announced a $15 million initiative in partnership with Anthropic and OpenAI to help mathematicians evaluate, adopt... Read More ...

On Monday, the company announced a new independent panel of mathematicians tasked with advising it and other AI companies on ...

Mathematical proof dates back at least to Euclid in 300 BCE, and yet little is known about what happens in the mind when ...

OpenAI math proofs are challenging traditional mathematics by solving complex issues like the irrational triangular billiards ...

Justin Sun Prize honors research solving Erdős mathematical problems, blending AI-verified proofs and blockchain rewards for ...

At first, Maynard, a mathematician at the University of Cambridge and recipient of the Fields Medal, math’s most prestigious ...