数学与AI顾问组公开施压：要求OpenAI放出被封存的杨-米尔斯证明
rohanpaul_ai · x · 2026-10-28
Mathematics and Artificial Intelligence Advisory Group 公开呼吁 OpenAI 发布其扣留的 Yang-Mills 证明——包括自然语言与 Lean 输出，涉及 OpenAI 声称的 Yang-Mills 理论存在性证明、量子色动力学以及标准模型补全。
OpenAI 称其模型已于 9 月 9 日证明 Yang-Mills 存在性与量子色动力学相关结果，但未公开证明细节，引发学界要求验证的呼声。
所属事件:IAS 数学顾问组施压 OpenAI：立即公开 Yang-Mills 证明(3 条相关)→
「研究」频道最新
- 一张图看懂有限单群分类：18 个无限族加 26 个零散群 — burny_tech · 2026-10-28
- EffBench 发布：首个兼顾效率与精度的 CTR 模型整体基准 — _reachsumit · 2026-10-28
- ER-RAG：用 ER 建模统一检索网页、数据库与知识图谱 — _reachsumit · 2026-10-28
- SearchHorizonBench：45632 次执行教会 Agent 判断「再搜一次值不值」 — _reachsumit · 2026-10-28
- MuSID-KD 论文：按排序影响加权蒸馏，提升语义 ID 生成式推荐 — _reachsumit · 2026-10-28
- Hamel 与 Shreya 出 evals 新书:先逐条读 trace 标错点,再看指标 — sh_reya · 2026-10-28