你大概听过这样的新闻:OpenAI宣布自家的AI解决了一道关于“点与点之间距离”的数学难题,这道题悬了将近80年没人能完全攻克。23岁的数学爱好者利用AI解决了“Erdős#1196”问题,这个问题曾困扰数学家60多年……近日(试读)...