标题：陶哲轩亲测点赞o3-mini：专家级证明，我收到了一个完美的答案 正文： 陶哲轩亲测点赞o3-mini：专家级证明，我收到了一个完美的答案 陶哲轩测试了o3-mini，称其能够重建图论中标准（专家级）结果的证明。他评价道：“o3-mini完全可以应对三角形移除引理的证明。” 三角形移除...