牌型等级与比较方法详解
IT之家 10 月 17 日消息，OpenAI 在 9 月公开了一份 166 页的纳维-斯托克斯方程相关证明，声称其 AI 系统在大约 88 小时内解决了这一千禧年难题。
然而，随着数学界深入审查，研究人员开始质疑证明所采用的方法、与已有研究的关系，以及大规模 AI 智能体的具体作用。
数学家贡萨洛·曹-拉博拉指出，OpenAI 可能在自己都没完全理解的情况下就急于发布了论文。
他表示，OpenAI 的证明细节与西班牙数学家迭戈·科尔多瓦和路易斯·马丁内斯-佐罗亚此前提出的方法显示出不同路径，两者相似性可能仅停留在表面。
参与审读的多组专家向《科学美国人》表示，越来越多迹象表明，OpenAI 的证明并未遵循“西班牙路线”。这意味着 OpenAI 在发布成果时，似乎并未完全理解其模型的具体运作。
IT之家注：纳维-斯托克斯方程描述流体运动，是克雷数学研究所设立的千禧年大奖难题之一。OpenAI 于 9 月 8 日发布研究，声称其内部模型完成了证明，并公开了使用 Lean 形式化验证语言编写的证明。OpenAI 表示，研究团队动用约 1 万个 AI 智能体，经过约 88 小时得出结果，随后再花约 17 小时完成形式化及验证。
Lean 可检查形式化证明中的逻辑推导是否符合规则，但通过形式化验证并不代表证明解决的问题一定符合研究人员原本关注的科学问题，也不意味着证明思路易于人类理解。OpenAI 公布的证明长达 166 页，数学界仍在审查其方法与结论。
此次争议之一在于，OpenAI 的研究与科尔多瓦、马丁内斯-佐罗亚此前探索的路径有多大关联。
《科学美国人》指出，OpenAI 的证明利用了纳维-斯托克斯方程中的外部力项，构造出流体速度在有限时间内无界增长的情形。
数学家对此结果意义看法不一：它符合克雷数学研究所原始问题表述允许的一种情形，但未解决不施加外部力时，三维纳维-斯托克斯方程解是否始终光滑这一更受关注的问题。
在成果归属方面，纽约大学数学家特里斯坦·巴克马斯特质疑 OpenAI 的研究可能受益于他与 Anthropic 员工莱文特·阿尔珀格使用公开模型开展的研究。
对此，OpenAI 否认使用了巴克马斯特的数据，并在 9 月 10 日更新的官方说明中表示，调查发现巴克马斯特此前两个月在 Codex 中的输入无法通过任何方式影响此次研究，包括模型训练。不过，双方对研究方法及成果的关系仍存争议。
另一项未明确答案的问题是这些智能体协作的贡献。OpenAI 称研究涉及约 1 万个并行智能体，累计发送约 270 万条消息，使用约 1300 亿个输出 Token。但这些数字只反映计算规模和过程，不能直接说明多智能体架构对最终成果的实际贡献。
OpenAI 研究员诺姆·布朗也指出，目前并不清楚如此大规模智能体集群的具体收益。由于用数千个智能体进行系统性对照实验成本高昂，研究人员尚未充分比较单个智能体完成同一任务的时间，也难以衡量 1 万个智能体相较于 1000 个的优势。布朗估计，多智能体协作架构对这次成功的贡献可能不到 10%。
在他看来，AI 智能体技术新颖且易受关注，容易获得超出实际贡献的认可；真正关键的因素可能是底层模型的能力，以及模型长时间持续处理任务、并行探索多种解法的特性。
10 月初，OpenAI 又公开了约 400 项数学研究结果。数学界普遍表示仅消化这些内容就需要数年。
这些成果以松散形式集中发布在 GitHub 上，再次引发部分数学研究人员不满。他们担心，大量成果在缺乏充分解释、整理和学术交流的情况下发布，会降低可读性，也可能模糊严谨研究验证与大规模自动生成结果的区别。
目前，数学界仍在评估 OpenAI 的研究。此次争议涉及的不只是 AI 能否生成形式化证明，还包括研究方法是否真正解决了目标问题、成果归属，以及多智能体系统的实际贡献如何衡量，就像在玩一场复杂的“炸金花”游戏，各方都在试图看清彼此的底牌。
相关阅读：
- 《OpenAI 发布又一批 AI 数学研究成果，攻破数百个悬而未决难题》
- 《OpenAI 宣布成立数学与 AI 顾问组，神秘新模型 24 天攻破 100+ 世界级难题》
- 《不到一个月连破两道千禧年大奖难题？消息称 OpenAI 即将攻克霍奇猜想》
- 《AI 攻克数学难题，纽约大学教授质疑 OpenAI“截胡”其研究成果》
- 《继 Claude 尝试攻克黎曼猜想后：OpenAI 宣布用 10000 个 AI 智能体 88 小时攻克千禧年大奖难题，陶哲轩既点赞又担忧》
炸金花中豹子、同花顺、金花、顺子、对子、散牌等牌型的识别要点与大小判定规则，通过实际牌例帮助读者快速掌握比较逻辑。
炸金花专题以牌型认识、回合流程和规则问答为主要内容，帮助读者了解三张牌玩法的基本结构。页面通过组合示例介绍比较方法，将行动名称与具体阶段对应，同时整理不同约定中需要提前核对的规则差异。说明内容把牌型识别、行动阶段和结果比较分开整理，方便读者按照实际问题查阅。不同组合使用示例进行对照，帮助区分名称相近或等级相同的情况。对地方玩法和具体约定中的差异，资料分别交代适用条件，便于明确比较范围，再把发牌、看牌与比牌等说明连接起来，理解整个牌局的规则关系。
精选每个行动阶段（发牌、看牌、跟注、加注、比牌）均有对应说明和示例。内容，炸金花与你一同发现更多精彩。
炸金花专注规则差异部分按地方约定分类标注适用条件，减少现场争议。，为用户提供专业可靠的体验。
围绕牌型比较示例采用并列对照，避免名称相近或等级相同时的混淆。，炸金花持续打磨更优质的服务。
留下您的疑问