A high school teacher didn't expect a solution when she set a 2,000-year-old Pythagorean Theorem problem in front of her ...

The system has two especially novel features. First, the neural net is trained only on algorithmically generated data — a whopping 100 million geometric proofs — using no human examples.

This is an updated version of a story first published on Nov. 1, 2024 For centuries, students have learned that in a right ...

A 125-page proof posted to arXiv may represent a huge breakthrough in geometric measure theory. This problem has implications in fields like encryption, computer science, and number theory.

Google claims math breakthrough with proof-solving AI models AlphaProof and AlphaGeometry 2 solve problems, with caveats on time and human assistance.

A 100-page proof is way outside the realm of the average math student, or even mathematician. But there’s no reason the proof need only be laid out the old-fashioned way anymore.

A 125-page proof posted to arXiv may represent a huge breakthrough in geometric measure theory. This problem has implications in fields like encryption, computer science, and number theory. How ...