DeepMind’s latest: An AI for handling mathematical proofs

But now Google’s DeepMind team has built AlphaProof, an AI system that matched silver medalists’ performance at the 2024 ...
The New York Times

A.I.’s Latest Challenge: the Math Olympics

Watch out, nerdy high schoolers, AlphaGeometry is coming for your mathematical lunch. Credit...Christian Gralingen Supported by By Siobhan Roberts Reported from Stanford, Calif. For four years, the ...
Popular Mechanics

Machines Are on the Verge of Tackling Fermat’s Last Theorem—a Proof That Once Defied Them

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...
Ars Technica

Google claims math breakthrough with proof-solving AI models

On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...
Popular Mechanics

Two Teens Used Trigonometry to Prove the Pythagorean Theorem After So Many Experts Couldn't

In 2022, two high school students created a trigonometric proof of the Pythagorean Theorem—something that’s only ever been accomplished by a few professional mathematicians. Now, a new article not ...
Forbes

AI LLMs Astonishingly Bad At Doing Proofs And Disturbingly Using Blarney In Their Answers

Forbes contributors publish independent expert analyses and insights. Dr. Lance B. Eliot is a world-renowned AI scientist and consultant.