实测给弱模型喂提示，能否复现前沿大模型发现
danshipper · x · 2026-08-03
作者在登机前给 GPT-5.6（注：应为非官方别名或笔误）布置了一项挑战：在提供代数数论提示的情况下，看它能否重现 Astra 模型此前对埃尔德什平面单位距离猜想（Erdős's planar unit distance conjecture）的证明。
作者的核心理论是：如果给予正确的概念性提示，较弱的模型往往也能复现前沿模型的发现，因为强模型的优势很大程度上在于探索和寻找正确的方向。随后作者发文表示“把它搞崩了”，暗示测试过程出现了有趣的报错或异常结果。
「编程与Agent」频道最新
- Claude 给 30 多个开源生物模型提速平均 4 倍，优化代码已开源 — anshulkundaje · 2026-09-18
- Codex CLI 0.155.0 上线语音模式，/experimental 里开启 /voice 即可 — charliermarsh · 2026-09-18
- GPT-6 Astra 通关 Factorio 太空时代，游戏内耗时超 165 小时 — aran_nayebi · 2026-09-18
- 一段提示词让 GPT-6 Astra 自主训练一天半，灵巧手学会转笔 — FinanceYF5 · 2026-09-18
- Qwen3.8-Omni-Flash 发布:多人会议识别错误率降至 3%,API 降价 98% — karminski3 · 2026-09-18
- Agent 工具路由别都用大模型：一个小分类器便宜 20 倍、400ms 出结果 — multiply_matrix · 2026-09-18