OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...
A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...
OpenAI says its internal reasoning AI has solved a decades-old discrete geometry problem, overturning a long-held ...
OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...
At a secret meeting in 2025, some of the world's leading mathematicians gathered to test OpenAI's newest large language model, o4-mini. Experts at the meeting were amazed by how much the model's ...
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.
VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...
Two US high schoolers believe they have cracked a mathematical mystery left unproven for centuries. Calcea Johnson and Ne'Kiya Jackson looked at the Pythagorean theorem, foundational to trigonometry.
The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results