Erdős问题相关 AI 资讯 · AI 热点

7月28日

16:15

16:15

Amjad Masad@amasad

Shouqiao Wang使用OpenAI的GPT-5.6模型，在5天内解决了6个未解决的Erdős问题。该工作不要求深厚的数学知识，而是借助Codex工作流和特定提示词。成果展示了AI模型在算法和数学探索领域的潜力。

AI模型 GPT-5.6 OpenAI Erdős问题

推荐理由：有人用GPT-5.6在5天解了6个数学界的悬案，而且不用高深数学背景，全靠提示工程。

7月26日

17:49

17:49

AI Will@FinanceYF5

Shouqiao Wang 使用 OpenAI GPT-5.6 Sol 模型，结合 Codex 工作流，在 5 天内解决了 6 个开放的 Erdős 问题。他虽具备数学背景，但该工作流并不需要深入的数学知识即可上手。具体做法包括将问题转化为代码实现，通过精心设计的提示词引导模型逐步推理并验证答案。这一成果展示了大型语言模型在数学推理中的实际应用潜力。

技巧 GPT-5.6 Sol Codex Shouqiao Wang

推荐理由：Wang 分享了他用 GPT-5.6 Sol 解数学难题的完整工作流，你不需要是数学家也能跟着做，关键是那些提示词套路。

5月25日

19:02

19:02

官方账号Decoder@Matthias Bastian

83°

Google DeepMind 的 AlphaProof Nexus 系统自主解决了九个开放的 Erdős 问题，其中两个困扰数学家长达56年，每个问题的推理成本仅需数百美元。与 OpenAI 的自然语言方法不同，该系统使用 Lean 编译器自动验证每一步证明，确保结果严谨可靠。不过，整体成功率仅为2.5%，表明 AI 在数学推理领域仍有巨大提升空间。这一成果展示了 AI 在解决高难度数学问题上的潜力，可能加速数学研究进程。

AI模型 AlphaProof Nexus 数学推理 Lean编译器

推荐理由：数学研究者和 AI 推理方向开发者值得关注——AlphaProof Nexus 用极低成本攻克了人类多年未解的难题，虽然成功率低，但证明了形式化验证路径的可行性，建议点开了解其技术细节。