有用户报告称，ChatGPT 的一个版本 GPT 5.6-Sol Pro 取得了新的数学突破。该 AI 自主扫描了相关论文，利用了自写的 C++ 定理证明器，并将 Ramsey 数 R(4,21) 的下界从 244 提高到了 253。这超过了之前由 Google DeepMind 的 AlphaEvolve 设定的纪录。 AI
影响 展示了 AI 在数学研究方面的先进能力，有望加速科学发现。
排序理由 用户报告的特定 AI 模型研究里程碑，超越了已知基准。 [lever_c_demoted from research: ic=1 ai=1.0]
- AlphaEvolve
- AlphaFold
- ChatGPT
- Claude 3 Opus
- Google DeepMind
- Google/Gemini
- GPT 5.6-Sol Pro
- Microsoft
- OpenAI
- Ramsey number R(4,21)
- Wolfram Alpha
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
