A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

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 ...

The same branch of mathematics that helped Einstein to formulate his theory of general relativity could now allow scientists to peer with unprecedented accuracy into impenetrable objects—such as the ...

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.

A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.

Computer-assisted of mathematical proofs are not new. For example, computers were used to confirm the so-called 'four color theorem.' In a short release, 'Proof by computer,' the American Mathematical ...