Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company ...

OpenAI's GPT-5.4 Pro has solved an open math problem unsolved since 2019, with Epoch AI independently verifying the first AI ...

Dropped from his school math team while in 11th grade, Ho Anh Kiet pushed himself by studying 12th-grade math one year in ...

Gerd Faltings proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry.

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using ...

For nearly two decades, he designed a research-level mathematics problem specifically intended to test the reasoning limits ...

A look at how mathematicians around the world study and attempt to solve long-standing problems that continue to challenge the field of mathematics.

The 2001 Australian thriller “The Bank” introduces us to a boy in elementary school who is precociously gifted in mathematics. As an adult, he takes his deep knowledge and uses complex computational ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into ...

GPT just keeps getting better at mathematics, increasingly solving the trickiest of problems. In January, AI testing company Epoch AI found that a previous version of the AI model, GPT-5.2 Pro had ...