Noam Brown:GPT-6 Astra 用 Lean 证明有界素数间隔,最看好科学发现用途
scaling01 · x · 2026-09-04
- OpenAI 的 Noam Brown 表示,在 GPT-6 Astra 的众多用途中,他最期待科学发现方向,称 OpenAI 尚未在该模型的数学与科学能力上压榨到极限。
- 他转发了一个新的 OpenAI 仓库:GPT-6 Astra 完成的 Lean 形式化证明——存在无穷多对相邻素数,其间距不超过 186,展示模型在形式化数学中的实际产出。
- Brown 期待每天早上都能看到有人用这个模型做出新的科学突破。
所属事件:GPT-6-Astra 用 Lean 证明素数间隔 ≤186，数日三破纪录(22 条相关)→
「模型」频道最新
- OpenRouter 数据：Opus 5.5 在 29 类任务中 20 类支出第一 — mmurph · 2026-10-21
- 小团队数月从零到百造出 LLM，称 Meta 开源将迎第二纪元 — TimDarcet · 2026-10-21
- Muse Glimmer-30B 配 DFlash drafter：分块 16 token 提速推理 — TimDarcet · 2026-10-21
- EvoPress 量化让 30B 模型从 56GB 压到 19GB，精度几乎不掉 — TimDarcet · 2026-10-21
- Muse Glimmer-30B 雷达图曝光：对标 Gemma4-31B 与 Qwen3.6-27B — TimDarcet · 2026-10-21
- 隐私评测 CIMemories：Muse Glimmer-30B 泄密率 26.4 优于 Qwen 的 53.4 — TimDarcet · 2026-10-21