For decades, physicists recognized only two types of magnetism that occur in materials without external influence: ...

Introduction: The more you teach, the more the student's thinking stops"Teacher, I don't understand how to write proofs at ...

The results resolve major problems in math, physics and computer science. But like other recent AI-generated “slop drops,” ...

OpenAI says its models have proved theorems in mathematics, challenged a computing theory and tackled quantum field theory.

- OpenAI claims AI models solved three major math conjectures, verified via Lean theorem prover. - Experts question proofs' ...

OpenAI said in an announcement on October 26, 2026, that its internal models produced three research results in mathematics, ...

If you look at a test paper and see that the geometry proof is almost entirely blank, you might feel anxious as a parent, ...

AI’s solution to the Navier-Stokes problem, and the details of how it happened, preview a chaotic future for math—and the ...

Microsoft Research announced on October 21, 2026 that Xinzhi Zhang, a senior researcher in its Machine Learning and Optimization group, and collaborator Zhao Song have proved the ...

Terence Tao launched an open AI-assisted math challenge Monday after four independent mathematicians verified a key claim from OpenAI’s disputed 722-manuscript release in two weeks. Open to anyone ...

Flat Earth theory can be tested without relying on space photographs or one institution. Several independent observations make the result difficult to escape.

First Proof was created to fill a structural gap in how AI mathematical capability is evaluated. Most existing benchmarks draw on competition problems whose solutions have appeared in textbooks, ...