ChatGPT 5.4 Pro

OpenAI于2026年发布的最新旗舰级大语言模型。在2026年4月的事件中，该模型在80分钟内破解了困扰数学界60年的Erdős Problem #1196，展示了超越此前所有人类成果的数学发现能力。

关键能力

• 数学发现: 能够独立提出全新的证明方法（如用von Mangoldt函数构造Markov链）。
• 搜索+修复模式: 通过局部验证和修复逐步构建完整证明，不同于人类的全局叙事。
• 高效推理: 在80分钟内完成从问题理解到完整证明的全过程。

相关事件

• 2026年4月：破解Erdős Problem #1196，标志着AI从"辅助工具"升级为"数学发现者"。

相关链接

• [[openai]]
• [[ai-solves-math-problems]]
• [[erdos-problem-1196]]
• [[liam-price]]