GPT-5.4 Pro

GPT-5.4 Pro是OpenAI发布的AI模型，在2026年3月攻克高德纳哈密顿分解难题中扮演了"验证者"角色。

在哈密顿分解难题中的表现

• 角色：负责"严谨验证"，扮演"学院派审稿人"。
• 贡献：验证Claude Opus 4.6的构造，生成完整逻辑，并输出14页对标顶级期刊的数学论文。
• 结果：论文通过Lean社区专家审查，挑不出毛病。

意义

GPT-5.4 Pro展示了AI在数学论文生成和形式化验证方面的能力，与Claude Opus 4.6形成"探索+验证"的完美分工，预示了未来科研协作的新模式。