实测GPT-4o复现前沿模型Astra的数学证明
danshipper · x · 2026-08-03
一位开发者在登机前给 GPT-4o 布置了挑战：在提供适当概念提示的情况下，看它能否复现 OpenAI 前沿模型 Astra 解决埃尔德什平面单位距离猜想（Erdős's planar unit distance conjecture）的证明过程。其核心理论是，较弱的模型如果获得正确的概念提示，往往能重现前沿模型的发现。
所属事件:用“提示距离”衡量AI科研能力：弱模型复现前沿数学证明实测(6 条相关)→
「模型」频道最新
- Gary Marcus：OpenAI 新模型 Astra 被严重高估，数学突破不等于 AGI — Gary Marcus · 2026-08-03
- KOL 称仅 OpenAI 真正掌握推理技术，DeepSeek 靠中等算力登顶评测 — teortaxesTex · 2026-08-03
- Gemini视频生成惹众怒：付费Pro用户额度竟比免费版还少 — Captain-Thump · 2026-08-03
- 翻车名场面：Google Gemini 连简单的数数任务都搞砸 — polo421 · 2026-08-03
- 实测百个Bug：如何将AI编程月费从200降至20美元 — PawelHuryn · 2026-08-03
- 35B级别开源模型横评：Ornith与Qwen3.6表现优于Laguna — S_Anv · 2026-08-03