OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

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.

UCLA mathematician Terence Tao, who reviewed the result, said that ChatGPT used a completely different method to solve the problem. It used a formula that was well known, but which no one had thought ...