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
20 hours ago5 min read
bottom of page
