OpenAI's GPT-5.2 Pro has solved multiple decades-old Erdős math problems, but Fields Medalist Terence Tao says the wins ...

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

Calcea Johnson and Ne'Kiya Jackson, who surprised the math world when they produced innovative solutions to a 2,000-year-old puzzle, wowed the math world again when they presented several new ways of ...