2025年10月的事情挺有趣的啦，一个是陶哲轩拿着GPT-5Pro在解微分几何的题，人工智能把那些公式排得整整齐齐，推理看着也没啥问题，但题目还是没解出来。另一头，这套AI又在全球最难的数学考试FrontierMath上拿了13%的成绩，居然排在第一名。这事挺让人捉摸的，你说它挺牛逼的，可苦恼的是关键题都没