88岁算法祖师爷惊呆，Claude联手GPT攻破30年难题，14页论文0修改

背景：一个困扰数学界三十年的算法难题

高德纳（Donald Knuth），被誉为“算法之父”，图灵奖最年轻得主之一，今年已88岁。他所提出的某些算法难题，尤其是涉及“奇偶情形”的循环结构问题，曾长期悬而未决。

• 难题核心：在特定的模数（mod）系统中，如何构造一种通用规则来生成满足条件的循环序列。
• 人类瓶颈：尽管过去几十年里，许多数学家和算法专家尝试过，但始终未能在奇数与偶数情形之间建立统一解法。
• AI介入前状态：该问题被视为数学与算法领域中的一座“高墙”，直到Claude 4.6和GPT-5.4的智能体协作出现转机。

破解过程：AI智能体左右互搏，构建协作工作流

此次突破并非单纯依靠单次提问或模型推理，而是由Keston Aquino-Michaels主导，设计了一套AI协作工作流。

• 第一阶段：Claude 4.6的探索

  • 经过31次探索尝试，Claude提出了一个初步的规则：

    s = (i + j + k) mod m  

  • 针对偶数m情形，运行4小时后，初步结果出现，但仍未形成完整解法。

• 第二阶段：GPT-5.4 Pro的介入

  • GPT-5.4 Pro在分析Claude的路径后，直接输出了一篇14页的完整论文，未作任何修改。
  • 该论文详细阐述了如何统一奇偶数情形下的循环构造方法，并通过数学归纳与代码验证双重确认。
  • 论文已发布至GitHub，链接：https://github.com/no-way-labs/residue/blob/main/paper/completing_claudes_cycles.pdf

• 协作机制：

  • Aquino-Michaels没有让AI单独作战，而是设定明确边界与验证机制，引导两个模型反复验证、调整策略。
  • 人类角色从“解答者”转变为“问题架构师”与“结果审校者”。

关键技术点：规则的统一与模运算的巧妙设计

AI联合提出的解决方案基于简洁而强大的模运算规则，并成功统一了奇偶情形的处理逻辑。

主要算法规则如下：

if (s == 0) d = (j == m - 1? "201" : "021");
else if (s == m - 1) d = (j == 0? "102" : "120");
else d = "012";

• 这一规则不仅适用于偶数m，还通过巧妙的边界处理兼容了奇数m的情形。
• AI通过大规模模拟和逻辑归纳，验证了该规则在所有m ≥ 3的情况下的正确性。

影响：数学研究范式正在被AI重构

这一事件在学术界和AI社区引发了广泛讨论，标志着AI在数学研究中的角色发生根本转变。

• 从工具到共创者：

  • AI不再只是辅助工具，而是与人类共同探索、构建新知识的智能体。
  • 高德纳本人也对AI所展现的推理与归纳能力表示惊叹。

• “提出问题”成为新核心能力：

  • 在AI能快速填补推理路径的时代，人类最宝贵的不再是计算能力，而是：
  • 提出有结构、可被AI分解的问题的直觉
  • 对AI输出结果的审美与判断力

• 研究方法的变革：

  • 过去需数年时间完成的理论验证，现在在AI协作下仅需数小时。
  • 开源项目与AI协作文档成为新的学术发布形式。

展望：AI如何改变未来数学与算法研究

这一突破不仅在于解决了某个具体问题，更在于展示了AI在未来科研中的潜力。

• “机器左右互搏”的新模式：

  • 多个AI智能体可协同工作，形成类似于“人机团队”的研究结构。
  • 人类只需定义问题边界、评估逻辑一致性与美感，AI则负责推演、计算、验证。

• AI中文社区热议：

  • AI 中文社等平台已将该论文作为热点讨论，认为这是“算法研究范式转移的标志性事件”。
  • 相关推文链接（X平台）：
  • https://x.com/slow_developer/status/2038399555490791765
  • https://x.com/mubeitech/status/2038388810157826467
  • https://x.com/BoWang87/status/2037648937453232504

• 未来机会窗口：

  • 谁能设计出更高效的人机协作流程，谁就能成为新一代“智力架构师”。
  • 如果你还在纠结AI是否会取代你，或许你已经错过了这个时代的真正入口。