陶哲轩测试：o3-mini成功重建图论证明

数学家陶哲轩测试AI系统o3-mini，该系统成功重建了极值图论中的重要结果——三角形移除引理的证明，并逐步解答了有关(6,3)定理的问题。陶哲轩肯定了o3-mini的表现，但也指出其在研究级数学任务上依赖于用户提供的指导程度，对于非常标准的问题更易给出准确答案，而冷门问题则需要更多指导。此测试引发了网友对LLM推理能力的讨论。
来源：https://mp.weixin.qq.com/s/Jbvj-QYJr73aB0XOTuTe8w