据Greg Brockman在X平台发布的信息，GPT‑5.4 Pro被指已解出埃尔德什问题#1196，研究者Leeham提供了细节并表示形式化验证正在进行中（来源：Greg Brockman，原帖作者Leeham）。据该帖文报道，下一步通过形式化证明是学术界认可的关键环节。若经验证，此成果显示大型语言模型可在组合数学开放问题上做出贡献，带来AI辅助手段在定理证明、猜想生成以及金融、密码学与物流优化等场景中的商业机会。帖子提及数学家Lichtman的评论强调了该问题的难度，表明集成符号库与证明检查器的AI证明助手与科研协作产品具备潜在市场价值。