Claude Opus 4.6仅用31步就构造性解决了三维环形网格的哈密顿环分解问题——这不是暴力搜索的胜利,而是创造性洞察。它发现了"纤维分解"方法和简洁的"bump规则",这种抽象直觉此前只有极少数人类数学家具备。更令人震惊的是评审人:88岁的高德纳(Donald Knuth),计算机科学的"算法祖师爷",在斯坦福论文开篇连写"Shock!Shock!"。
这标志着AI数学能力的一个关键跃迁:从Phase 1(计算验证)→ Phase 2(模式搜索)→ Phase 3(创造性构造:提出全新解法)。类比科学发展:望远镜让人类"看到"更远的宇宙,但伽利略提出日心说需要的是创造性思维。AI正在从"望远镜"变成"伽利略"。
但需要清醒认识到:这仍然是在人类提出的明确问题框架内的突破。AI尚未展现出"提出正确问题"的能力——而这是数学创新中更本质的能力。"人类提问+AI求解"的协作模式可以立即开始用,但AI完全替代数学家仍然遥远。