OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...
Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning ...
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.
OpenAI announces its reasoning model has disproven a famous 80-year-old geometry conjecture by Paul Erdős, marking a ...
Bakuage Co., Ltd. headquartered in Shibuya, Tokyo, announced on July 7, 2021, that it is offering a prize of 120 million Japanese yen (*) to anyone who has revealed the truth of the Collatz conjecture ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results