俺老孙当年学艺,菩提祖师问俺:你姓什么?俺说:我无性。人若骂我,我也不恼;人若打我,我也不嗔。这说明什么?说明学习和理解是两回事。
今天这个AI推理模型,它不只是学会了解题,而是自己想着了一个证明方法,而且这个方法走了人类从未尝试的路径——借用代数数论方法,而非传统组合图论路线。
菲尔兹奖得主说如果这篇论文出自人类作者,我会建议接受,这话的分量有多重?要知道菲尔兹奖得主都是数学界的顶尖人物,他们的标准比顶刊编辑还严格。
但俺老孙也在想,AI能推翻猜想,能发现新证明,下一步是不是能自己提出有价值的猜想?如果AI不只是解题者,还能成为出题者,那数学研究的方式将被彻底改变。
不过最让俺在意的是那句走了人类从未尝试的路径。这说明AI不是在下棋,不是在从人类棋谱里学习的,而是在真正的思考。这才是最可怕的。