实测GPT-4o复现前沿模型Astra的数学证明
danshipper · x · 2026-08-03
一位开发者在登机前给 GPT-4o 布置了挑战：在提供适当概念提示的情况下，看它能否复现 OpenAI 前沿模型 Astra 解决埃尔德什平面单位距离猜想（Erdős's planar unit distance conjecture）的证明过程。其核心理论是，较弱的模型如果获得正确的概念提示，往往能重现前沿模型的发现。
「模型」频道最新
- Every 实测 Gemini 4 Carbon:编码更强但判断力不及 Fable 5.2 — every · 2026-11-14
- 网传 Gemini 4 Krypton 性能逼近 Opus 5.5，谷歌或有大动作 — feblet · 2026-11-14
- Nathan Lambert:黄仁勋辞职重创开源模型生态,资金支持恐枯竭 — natolambert · 2026-11-14
- 爆料称 Google krypton 模型下周发布，Fable 5.2 水平但更便宜 — imjustnewatai · 2026-11-14
- OpenAI 第二次解散机器人团队，研究员转岗其他团队 — The Decoder · 2026-11-14
- 用户抱怨 Sol 6.1 近期明显变笨，低级错误频出被迫换模型 — graham_dev · 2026-11-14