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

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

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 ...

On Friday, research organization Epoch AI released FrontierMath, a new mathematics benchmark that has been turning heads in the AI world because it contains hundreds of expert-level problems that ...

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

Mathematics is the foundation of countless sciences, allowing us to model things like planetary orbits, atomic motion, signal frequencies, protein folding, and more. Moreover, it’s a valuable testbed ...

Mathematical models have become an integral part of cancer biology. They are useful tools for deriving a mechanistic understanding of dynamic processes in cancer. The somatic evolutionary process, ...

Three-dimensional snowflakes can now be grown in a computer using a program developed by mathematicians at UC Davis and the University of Wisconsin-Madison. No two snowflakes are truly alike, but they ...