AI coding agents ported Fields Medalist Terence Tao’s Java 1.0 math visualizations to JavaScript in hours, identified two ...

An OpenAI AI model has solved a 50-year-old unsolved mathematical problem. Ethan Knight, a researcher at the company, ...

At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI ...

Our team of experts has selected the best math learning materials out of dozens of options. Don’t buy math learning materials ...

How can you have a proof without proving anything? Mathematicians found a way and, in the process, came to blows over it – ...

Grok 4.5 constructed a counterexample proving hypercontractivity fails on the 4-sphere, closing a decades-old gap in ...

Physicists have built a real-number version of quantum mechanics that makes all the same predictions as the standard theory, ...

Math classrooms shifted over time to the discovery model. Not suddenly, and not without good intentions. There was a ...

Clarkson University researchers have developed an artificial intelligence tool that can uncover the mathematical equations ...

Google DeepMind has claimed that its new AI agent, AlphaProof Nexus, autonomously solved nine out of 353 open Erdos problems in a purported milestone related to AI and mathematics. First posed by ...

On May 20, 2026, OpenAI announced that its internal AI model had disproven a long-held prediction regarding the 'unit distance problem,' a central unsolved problem in discrete geometry. The unit ...

Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help scientists uncover hidden causes behind observable effects. By introducing ...