OSVerify 系统发现 OpenAI 量子几何 Langlands 论文两处实质问题
james_y_zou · x · 2026-10-16
斯坦福团队(Fan Nie、James Zou 等)用自建验证系统 OSVerify 审查了 OpenAI 10 月 4 日版本的论文《Global quantum geometric Langlands at irrational level》,发现两处实质问题:
- 问题一:绝对配对不保持直和。 论文断言某配对在包含非拟紧空间的参数类上连续,OSVerify 在该类内构造出反例,证明直和到直积的典范比较映射不是同构。
- 问题二:常纤维不蕴含整体标量等同。 论文有限平均论证中的整体标量断言过强;以 SL₂ 为测试,claimed 的整体同调维数为 4,实际 pushforward 只有 2。OSVerify 还给出了修复方案,经内部评审通过,可恢复所需的保守性。
作者强调这些发现并不证明论文主定理为假。这是 AI 辅助数学验证在前沿论文上落地的具体案例。
所属事件:斯坦福OSVerify审查OpenAI数学预印本发现18处问题(6 条相关)→
「研究」频道最新
- 密歇根大学 Kozik 实验室用 SeqHub 攻克呼吸道微生物组注释难题 — anshulkundaje · 2026-10-16
- 13 岁被开除的天才生物学家 Patrick Hsu:用 AI 设计新生命形态 — thesephist · 2026-10-16
- 给四足机器人穿鞋：SHOES 用 10 分钟真机 RL 恢复行走策略 — kscottz · 2026-10-16
- NVIDIA 后训练 Nemotron-3.5-Super-VL 做自主 ML 研究员，28% 提至 35% — AlexGDimakis · 2026-10-16
- 多伦多团队用 NLP 分析 12.2 万条患者评论，揭示安省医院满意度与公平性模式 — ishtiaqueSIA · 2026-10-16
- 多伦多大学招 AI 博士后：要造 AI 干预而非只刷榜，10 月 30 日截止 — ishtiaqueSIA · 2026-10-16