The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

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

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

A system developed by Google’s DeepMind has set a new record for AI performance on geometry problems. DeepMind’s AlphaGeometry managed to solve 25 of the 30 geometry problems drawn from the ...

"Hearst Magazines and Yahoo may earn commission or revenue on some items through these links." Two mathematicians now say they’ve made progress on a very old unsolved math problem. The problem ...

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

Remember that math problem from 2014? A Chinese AI tool cracked it ...