For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry

New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI ...
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 ...
SiliconANGLE

Google’s DeepMind builds hybrid AI system to solve complex geometry problems

Researchers at DeepMind, the artificial intelligence research division of Alphabet Inc., have created software that’s able to solve difficult geometry proofs that are often used to test the brightest ...
AOL

Mathematicians Wrote a Proof for a 100-Year-Old Problem—and May Have Just Changed Geometry

"Hearst Magazines and Yahoo may earn commission or revenue on some items through these links." Two mathematicians now say they’ve made progress on a very old unsolved math problem. The problem ...
New Scientist

Incredible maths proof is so complex that almost no one can explain it

Mathematicians have proved a key building block of the Langlands programme, sometimes referred to as a “grand unified theory” of maths due to the deep links it proposes between seemingly distant ...