信源：X：Haider (@haider1) · 👁️ 31490 次研读

GPT-5.6 与 Astra 的数学解题进展

💡 灵机 AI 深度洞见与核心提炼

gpt-5.6：解决 1 个 Erdős 问题 astra：10 项重大开放问题成果 post-astra：1 个千禧年问题 + 100 多个开放数学问题是啊，我开始看出规律了再过 3 个模型，我们就没未解数学题可做了

信源媒体：X：Haider (@haider1)

阅读原文出处 ↗