Onoe🔆Saiko

从某种意义上来说，朝鲜许多天才的实力比一般的 IMO金牌得主还要更加全面和危险。 国际数学界其实一直流传着关于朝鲜的黑色传说。在每年的 IMO赛场上，朝鲜国家队一直是极其低调但实力恐怖的劲旅，经常斩获全员优异成绩，团队总分杀进全球前列。 但最魔幻的是，其他国家的 IMO 金牌神童在夺冠后，未来的标准剧本是去MIT、斯坦福、剑桥或者清华姚班，毕业后去华尔街做量化、去硅谷做 AI 基础研究。 而朝鲜的这些数学天才们在回国后，他们的名字和档案就会瞬间从国际学术界彻底蒸发。他们被直接送进了高度机密的军事情报部门，比如总侦察局 121 局，进行定向的兵器化改造。 这就是天才在不同国家的不同命运。 这就是学术天才与国家级终极兵器的区别。 大部分IMO 金牌得主，他们解决的是象牙塔里的严密数学证明，顶多也就是量化QR、QT这些，而朝鲜圈养的这群人，他们不仅拥有同样顶级的数理逻辑和破译天赋，还被迫点满了全套的工业级破坏技能。 因为很多的硅谷天才已经习惯了用最先进的 AI 辅助写代码、在舒适的咖啡厅里寻找灵感；而朝鲜的赛博特工在地下室里，许多年里拿着旧电脑，为了攻陷一个万亿级跨国系统，可以不眠不休地用肉眼去死磕几十万行的底层汇编代码和以太坊智能合约漏洞。这种极端高压下训练出来的盲蛛式嗅觉，是温室里的学术天才无法具备的。 同样的，这也是一场残酷的主体性错位。 因为朝鲜的天才少年们没有选择剧本的权利。他们的智力在 11 岁那年就被国家单向征收。他们的天分不服务于人类的智能进步，只能化作了冷酷的铁骑，去劫掠金钱帝国，为遥远故土的导弹试验提供燃料。

就目前形势，如果AI宣告解决了数学领域的哥德巴赫猜想，人类也必须接受那个现实。 最近的消息，Axiom Math 公司的 AxiomProver エージェント群不仅完全形式化并机械验证了人类史上最庞大、最复杂的数学证明，甚至还在这个长达 40 年的证明中找出多处人类数学家从未发现的逻辑 Bug，并自己顺手写了个新定理给补上了。 而这次AI挑战的对象，可以说是数学史上的珠穆朗玛，攻略的定理是《有限单纯群的分类》，CFSG，在数学界被称为对称性的周期表。之前我还听数院的同学跟我讲过。 我记得这个定理的证明应该是由过去 100 多位人类顶尖数学家、跨越半个世纪、发表了 500 多篇论文共同拼凑出来的，总页数高达 15,000 页。因为它太庞大了，人类历史上没有任何一个单一数学家能够把这一万多页页的全部逻辑细节装进脑子里并完全搞懂。大家只能确信它是对的，而因此它称为数学史上的庞然大物定理。 而AxiomProver把这 15,000 页的人类自然语言论文，翻译成了数学计算机证明语言 Lean 4。翻译出来的代码长达 4310 万行，规模是当年轰动一时的“费马大定理形式化”的 3 倍。时间呢？它只用了 24 天，就把这 4310 万行代码的每一个逻辑步骤、每一个推论，全部用计算机内核进行了解析和完全验证，而且是无盲区、无跳过。 据我所知，2012年Gonthier团队在Coq里形式化Feit–Thompson奇阶定理，花了大约6年。而那个定理的原始证明只有255页，只是分类定理里的一块。 2026年的今天，这次是整个15,000页的体系，24天。这绝对的、数量级上的跨越，等于把大型证明的形式化从几十人和几年的工程变成了几周的事。 我的观点是数学已经大面积被AI征服，只是还有少数几座岛屿，但解决只是时间问题。AI能在人类指导下参与超大规模、长链条的严谨数学工作，而且速度快得离谱。 而以后再出现几百页、几千页没人能完全看懂的证明，可以不用再靠专家共识，直接交给机器检查反而效果更好。

我可以这样讲，现代顶尖的药物研发几乎是人类历史上对强推理要求最高、链条最复杂的系统工程。 你是不是觉得研发药物就像是在钥匙堆里找一把能开锁的钥匙？ 事实上，人类要面对的是一个高达 10⁶⁰ （当然，甚至有人认为是 10¹⁸⁰）规模的潜在类药分子空间。 这个数字比宇宙中的原子总数还要多。 在如此恐怖的维度下，靠盲目筛选，暴力穷举，纯属大海捞针。科学家必须根据靶点蛋白质的三维空间结构，诸如电荷分布、疏水性、氢键几何构型这些进行严密的空间动力学和量子化学推理。 如果我在这个位置加一个氟原子，它的电子云会如何影响整个蛋白质的折叠？它会不会产生毒性？ 因果逻辑链条，就是最纯粹的强推理。 欢迎来到步步为营的世界。 生物系统的多靶点与代偿网络推演，是比世界象棋更复杂的动态博弈。 你要知道，药物进入人体后，面对的肯定不止一个孤立的靶点，那是一个极其复杂的动态生物网络。 它的因果链极长。比如药物作用于 A 蛋白，可能会激活 B 途径，进而抑制 C 基因，最后可能在肝脏代谢出有毒的 D 物质。 这需要极强的多步推理，药理学家和毒理学家需要像顶级棋手一样，在药效、毒性、代谢动力学之间做多达十几步的逻辑前瞻和利益权衡。 我可以肯定地说，任何一个环节的推理错误，都会导致几十亿美金在临床三期瞬间灰飞烟灭。这是极其烧脑的系统级因果推演。 如果你是辉瑞、罗氏出来的尤其是做生物医药的人，不可能不知道我在说什么。 如今，AI已经展现出超越人类顶尖专家的多步推理、空间想象和逻辑互查能力，并且有了一骑绝尘之势。它在医药领域的降维，一定会水到渠成了。 什么监管，什么伦理，包括现在很多人觉得所谓的实验取证问题、临床验证问题，通通都会成为炮灰。 因为当 AI 的强推理能力和智能水平已经可以完美模拟量子化学、分子动力学，乃至整个人体器官的数字孪生网络时，物理实验的必要性就会发生根本性动摇。
过去需要一万人肉身测试 3 年的临床三期，未来可能只需要在 AI 模拟的、包含全球 80 亿人口基因多样性的虚拟人体库中运行 3 个小时。因为如果虚拟临床的预测准确率达到 99.999% 或者更高时，坚持必须先用肉身试药 5 年才能上市的传统流程，不仅不是保护人类，反而可能变成了阻碍拯救生命的杀人制度。 A/的野心，根本不止于AI公司，而是力图成为一家掌控分子进化权超级数字制药的巨头。