AI models are starting to crack high-level math problems

“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...
NextBigFuture

XAI Grok 4.20 and OpenAI GPT 5.2 Are Solving Significant Previously Unsolved Math Proofs

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working ...
eWeek

GPT-5.2 Just Solved a 30-Year Math Problem

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
The Hechinger Report

PROOF POINTS: It’s easier and easier to get an A in math

The Hechinger Report covers one topic: education. Sign up for our newsletters to have stories delivered to your inbox. Consider becoming a member to support our nonprofit journalism. Amid the growing ...
Popular Mechanics

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

Gear-obsessed editors choose every product we review. We may earn commission if you buy from a link. Why Trust Us? A 125-page proof posted to arXiv may represent a huge breakthrough in geometric ...