Penn Engineers have developed a new way to use AI to solve inverse partial differential equations (PDEs), a particularly challenging class of mathematical problems with broad implications for ...

A team from the University of Geneva (UNIGE), in collaboration with CY Cergy Paris University (CYU) and University of Burgundy (uB), have analyzed drawings made by children and adults when solving ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal ...

Tessellations aren’t just eye-catching patterns—they can be used to crack complex mathematical problems. By repeatedly reflecting shapes to tile a surface, researchers uncovered a method that links ...

An AI from Google DeepMind has achieved a silver medal score at this year’s International Mathematical Olympiad (IMO), the first time any AI has made it to the podium. The IMO is considered the ...

The GSMM Camp is a weeklong workshop that builds interdisciplinary problem-solving skills for graduate and advanced undergraduate students. Participants work in teams on mathematically rich problems ...

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.

Mathematical language processing and problem solving represent a confluence of artificial intelligence, natural language processing and symbolic reasoning, aiming to bridge the gap between human ...

At 25, Kurt Gödel proved there can never be a mathematical “theory of everything.” Columnist Natalie Wolchover explores the ...

Solving arithmetic problems, even simple subtractions, involves mental representations whose influence remains to be clarified. Visualizing these representations would enable us to better understand ...