Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

Google and OpenAI have solved decades-old problems — but the scientific community is beginning to discuss whether limits ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

OpenAI's AI helped overturn a longstanding math conjecture by finding a counterexample, highlighting a powerful new way to ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline.

Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there will still be room for humans ...

A drop of dye added to a glass of water undergoes ordinary diffusion. However, when placed on the surface of a foam, the dye ...

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...

A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.