数学家核查 OpenAI 论文：Astra 检出 Weil 类代数性证明存在缺陷
burny_tech · x · 2026-10-09
grotsen 针对OpenAI 数学文档库的核查线程第 2 条：Elliot Glazer 基于线索用 Astra 检查了 OpenAI 论文《Algebraicity of Weil classes on split abelian eightfolds》（总览中的 #032 项），发现这篇未形式化的结果疑似存在缺陷，他称此现象「令人担忧」。这是针对 OpenAI 700 份数学文件质量质疑的具体实例之一。
所属事件:Astra 核查称 OpenAI 黎曼猜想论文证明有误(2 条相关)→
「模型」频道最新
- Unsloth 支持微调 Qwen/Llama 成「决策模型」，小模型替代生成式路由 — blaizedsouza · 2026-10-09
- Meta 公开 Muse Glimmer 技术细节:支持本地 Agent 的开源权重模型 — LotfiSanae · 2026-10-09
- NeurIPS 论文：LLM 被明令禁止思考时仍停不下来 — james_y_zou · 2026-10-09
- 新 Sol 聊天模型行为保守：不肯外推、探索性差 — TheZachMueller · 2026-10-09
- Step 5 Preview 实测：自动识破 Duolingo 4.1亿美元净利中的税收水分 — Div_pradeep · 2026-10-09
- 独立开发者自训小模型 Rei-v1,专供研究 agent 做决策 — gnukeith · 2026-10-09