GPT-5.2 Solves Erdős Problems: A New Era for AI in Mathematics – AI News – #3 January 2026
A historic milestone in mathematics and artificial intelligence occurred this weekend: GPT-5.2 autonomously solved Erdős Problem #397, a conjecture that had remained open for decades. The validity of the proof was officially confirmed by Terence Tao, one of the world's greatest living mathematicians. Unlike previous controversies, this is not a case of AI simply finding a forgotten paper in an archive; it is the generation of an original solution, fully formalized and verified in the Lean language.
Read more 
