AI Solved A Mathematical Problem That Had Stumped The World’s Best Minds For Decades

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...
Hosted on MSN

AI-assisted proof may have cracked 60-year-old Erdős problem

A 23-year-old with no advanced math degree used GPT-5.4 to produce a proof for an Erdős problem unsolved for over 60 years.
Acsh.org

From Math to Politics, Some Problems Don’t Have Solutions (Part I)

This article is the first of a three-part series adapted from an essay written by Dr. Alex Berezow, which is now archived at Suzzallo Library's Special Collections at the University of Washington. In ...