AI Reddit 3h ago 1 min read
The mathematical methodology generated by GPT-5.4 Pro when solving Erdos Problem #1196 has been successfully applied to other long-standing unsolved problems, including another Erdos conjecture open for over 60 years. Presented at Stanford's Future of Mathematics Symposium, the results raise the question of whether AI can generate genuinely generalizable mathematical insights.