On October 26, OpenAI announced three unreviewed results: the local smoothing conjecture, a refutation of the Exponential ...

Because OpenAI claims to have just disproved the entire ETH. Back to the drawing board everyone! I’m actually just ...

A question posed by Sir Walter Raleigh about cannonballs inadvertently led to a puzzle that mathematicians have been trying ...

AI-assisted math results continue to stream in thick and fast. San Francisco-based AI startup Axiom says it has produced the ...

ChatGPT developer says AI models produced proofs addressing longstanding scientific problems, seeks independent academic ...

Axiom Math said on October 27, 2026 that it is releasing what it calls the first complete computer-checked proof of the ...

Just weeks after publishing over 700 pages of solutions to 372 important mathematical problems, OpenAI has announced another ...

A central tenet in computer science has apparently been disproven by OpenAI, a result that will force textbooks to be ...

OpenAI says its internal AI models have cracked three major open questions in math, computer science, and physics. One of ...

OpenAI announced that it had obtained "major" discoveries in three fields: mathematics, computer science, and physics. The ...

OpenAI has announced three new scientific discoveries spanning mathematics, computer science, and physics, and is adopting a ...

OpenAI said its models generated proof that the Exponential Time Hypothesis is false. It also released new results for math ...