New benchmark study results show leading AI models, including ChatGPT, Claude, and Gemini, still lag humans in visual math reasoning.

LIVORNO, Italy – Livorno Elementary Middle School students gathered at the LEMS Media Center on March 13 to lead an immersive math modeling activity.

Bartosz Naskrecki, a mathematician at Adam Mickiewicz University in Pozna, had designed the complex challenge as part of the FrontierMath benchmark.

A Polish mathematician spent two decades crafting a problem meant to test the limits of artificial intelligence. A new AI ...

AI stuns researchers by solving a 20-year-old mathematical challenge with near-human reasoning, marking a breakthrough in ...

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...

A new AI framework called THOR is transforming how scientists calculate the behavior of atoms inside materials. Instead of relying on slow simulations that take weeks of supercomputer time, the system ...

An artificial intelligence system has successfully solved a complex mathematical problem, originally designed 20 years ago to test the limits of AI capabilities.

Polish mathematician Bartosz Naskrecki, from Adam Mickiewicz University in Poznań, is amazed as an AI program successfully solves a maths problem he has been working on for nearly 20 years ...

DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating ...

Susan Gilkerson, a math teacher and school bus driver, stood before a South Dakota education board and issued a warning. The proposed math standards the board was considering — just 36 pages, less ...

Model math standards produced by conservative education advocates helped spark a battle in South Dakota that could spread to other states.