top of page


AI Breakthrough in Math: 15 Erdős Problems Solved Using GPT-5.2 and Formal Verification
The landscape of mathematical research is undergoing a profound transformation as artificial intelligence increasingly moves from assisting in calculations to generating original proofs. Recent advancements in AI, exemplified by models such as GPT-5.2, have enabled both amateur and professional mathematicians to solve long-standing mathematical problems with unprecedented speed and accuracy. These breakthroughs are not only reshaping the way mathematics is conducted but also

Chen Ling
1 day ago5 min read
bottom of page
