曝 OpenAI 黎曼猜想论文有瑕疵，Astra 核查指其未形式化证明有误
ctjlewis · x · 2026-10-08
Elliot Glazer 称据内部消息让 AI 数学助手 Astra 核查 OpenAI 的论文《Algebraicity of Weil classes on split abelian eightfolds》，发现该结果疑似存在缺陷，而这篇论文恰属于未经形式化证明的工作之一。ctjlewis 转发并表示担忧。若属实，说明 OpenAI 近期公布的数学进展中未形式化的部分可靠性存疑。
「模型」频道最新
- 网传 Haiku 5.5 能力对标 Sonnet，Anthropic 型号层级或将整体上移 — rudrank · 2026-10-08
- 469 题实测 Qwen3.8-27B 微调：本地最佳版比 Opus 5.5 慢 28 倍但更省 token — norenEnmotalen · 2026-10-08
- 1.5-bit 量化把 Qwen 27B 压到 6GB，树莓派也能跑 — rohanpaul_ai · 2026-10-08
- Kimi K3 开源对标 Claude Fable 与 GPT-5.6,为何开放权重也划算 — sebkrier · 2026-10-08
- repligate 观察：一年前 LLM 开始强烈偏爱 they 而非 it — repligate · 2026-10-08
- GLM 5.3 Flash 接 USB 搞硬件逆向：本地跑 55 tok/s、1M 上下文 — glenbeer · 2026-10-08