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

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.

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.

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.

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

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