初中生用AI挑战300年数学猜想——接下来会怎样

那篇几乎引爆互联网的论文

韩国金浦市一名15岁少年在预印本平台arXiv上发表了一篇论文，声称证伪了一个有300多年历史的数学猜想。他独自完成——没有导师、没有研究团队、没有任何正式学术隶属关系。他用Claude编写代码，用笔记本电脑运行了38小时计算，再用AI验证结果。

被触及的猜想起源于鲁珀特王子（Prince Rupert of the Rhine）于1693年提出的"鲁伯特属性"：一个立方体能否穿过另一个更小的立方体？答案出人意料地说是可以。而更广泛的问题——是否每一个凸多面体都能穿过一个自身副本——却在之后三个世纪里悬而未决。

赵炯基（Choeng Gi-hyo）的论文主张，菱形十二面体无法通过这一测试。这是一种由20个等边三角形、30个正方形和12个五边形组成的62面多面体。他将结果发布在Reddit上，迅速攀升至一个聚焦Claude编程板块的第一位。在一个STEM骄傲根深蒂固、全国性考试决定命运的国家，一位初中生公开挑战数百年数学成果，正是那种会瞬间引爆传播的故事。

而接下来发生的一切，比任何单一证明更能揭示AI时代数学的状况。

这篇论文到底是谁写的

学术界数学家的即时反应不是难以置信，而是一种谨慎的疏离。基础科学研究院离散数学组研究员Ohm Sang-il直截了当地说：将论文发布在预印本平台上，意味着承认发表日期，而非背书其内容。首尔大学数学科学系教授Seo In-seok表达了相同的意思——仅当作者理解每个步骤并能在质疑面前捍卫其论证时，AI辅助完成的论文才能被视为完整的学术成果。

赵炯基本人也承认了这一鸿沟。他向媒体表示，以目前的水平，他无法独立验证论文中的每一个详细步骤。但他提供了一个部分辩护：其他得出相同结论的论文也在此前后以不同方法发表，这表明即便呈现方式尚不完整，其结论本身可能是可靠的。

这正是关键之处所在。计算结果——菱形十二面体很可能无法通过鲁伯特测试——可能是正确的。但通往这一结果的路径完全由一位他并未完全理解的AI编程助手来中介，由此引发了一个数学界从未需要回答过的问题：当发现它的人无法解释它为何成立时，证明还有意义吗？

真正并非数学的故事

鲁伯特属性猜想本身只是更大叙事中的一个支线情节——即今天谁有资格从事数学研究。

几个世纪以来，那道门槛由学历和资历决定。你需要多年的研究生训练、来自成熟研究者的指导，以及在同行评审期刊上发表成果，才能对开放性问题做出有意义的贡献。这个体系缓慢、排外且代价高昂——但它同时也确保每一个自称给出证明的人都真正理解它。

AI已经撬开了这道门。一个订阅了Claude的初中生，现在可以运行十多年前需要一支研究团队才能完成的计算实验。障碍不再是对顾问或实验室空间的获取，而是能否找到正确的提示，以及是否有耐心反复迭代。

这并非假设。OpenAI近日声称已推导出七个千禧年大奖难题之一的解法——纳维-斯托克斯存在性与光滑性问题——尽管数学界尚未接受。一种模式正在浮现：AI产出结果，人类决定是否信任它。

验证危机

这个故事所暴露的更深层次问题，并非关于某个青少年或某个猜想，而是关乎数学中一项基本契约的侵蚀：作者必须拥有自己的论证。

同行评审之所以存在，是因为个体人类会犯错。AI引入了一个新的错误类别——模型流畅但并不诚实，自信却不必然正确。当赵炯基通过AI生成的代码运行38小时的计算时，他并非在验证自己的推理，而是在验证Claude的代码是否产生了与其自身逻辑一致的输出。这是截然不同的认识论行为。

赵炯基本人的坦率承认——他无法完全验证论文的细节——恰恰是一种智识上的诚实。在任何领域，大多数AI生成的结果根本无法走到被如此审视这一步。数学家们已经在辩论其有效性，这说明该结果有所凭据，同时也表明学界正在试图搞清楚如何评估那些游离于传统作者模式之外的成果。

接下来会发生什么

其影响远不止于几何或多面体领域。如果一个15岁的少年能用AI生成一份关于300年难题的可信预印本，问题就不再是谁能参与数学——而是参与的意义是什么。

韩国的数学教育本就激烈且高度竞争，如今将面临新的压力：能够熟练运用AI工具的学生可能超越那些依赖传统准备的学生。这一优势并非韩国独有，它是全球性的。任何一个有互联网接入并拥有免费或付费AI账号的学生，现在都获得了此前需要机构支持才能获得的学习工具。

学术奖励体系尚未为此做好准备。期刊仍然期望由人类撰写、由人类验证的证明。资助机构仍将拨款与学术机构隶属关系绑定。但发现的管道正在以快于为其评估而设计的那些机构所能适应的速度发生变化。

明确的是，AI辅助数学探索的时代已经到来，它不在乎你的学位。菱形十二面体也许能穿过自身副本，也许不能。但这一时刻真正的轮廓已然可见——而且它比任何单一猜想都更宽广、更具颠覆性。