A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...
Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...
OpenAI says its internal reasoning AI has solved a decades-old discrete geometry problem, overturning a long-held ...
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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results