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.

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

Vivian Tu’s simple investing formula encourages people to adjust their portfolios over time to better balance growth and ...

Research team led by Peking University says dual-agent approach bridges the gap between reasoning and formal machine verification A Chinese artificial intelligence framework has autonomously resolved ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

Goldbach’s conjecture sounds almost too simple: every even number greater than two should be the sum of two primes.

People had mixed success trying to solve viral math problems this year. Some parents had trouble answering their kids' homework questions. A British mathematician presented a solution to a ...

Engineers at the University of Pennsylvania have developed an AI technique using 'mollifier layers' to solve complex inverse partial differential equations more efficiently and with greater stability.

Counting on AI to Solve Problems Makes Us More Likely to Struggle and Give Up, Study Suggests ...

Doing repetitive computational problems for just a few minutes a day can help students grow their math muscles—and their ...