研究者用 OSVerify 连续找出 OpenAI 两篇数学论文的实质错误
WeijiaShi2 · x · 2026-10-10
Fan Nie 团队更新：继在 OpenAI 10 月 4 日版《Global quantum geometric Langlands at irrational level》中用自研验证系统 OSVerify 发现两个实质性问题并给出其中一个的修复方案后，又在 9 月 23 日版《A power saving for planar unit distances》中识别出另一个重大问题。这是对 OpenAI 数学研究成果可信度的直接质疑，也展示了自动化验证系统审查模型生成证明的实战能力。
「研究」频道最新
- KKT 点对应 CDT+GT 均衡：不完美记忆博弈与策略梯度优化的理论桥梁 — jessi_cata · 2026-10-10
- 系统性扫描发现：最优优化器随批量大小而变 — aaron_defazio · 2026-10-10
- Dino Forcing 论文：直接预测预训练表征，收敛快一倍且 FID 更优 — kastnerkyle · 2026-10-10
- 整数乘法算法逼近 κ≈7e-4 之墙,数十 AI 智能体并行协作攻关 — ChrSzegedy · 2026-10-10
- 微软论文:Coding Agent 卡在理解代码,而非编辑行数 — rohanpaul_ai · 2026-10-10
- 不用一对图文对:DINOv2 与 Qwen3 嵌入空间零样本对齐成功 — TimDarcet · 2026-10-10