OpenAI 要证明 Yang-Mills 了？连问的人都不知那是啥
zetalyrae · x · 2026-10-17
OpenAI 研究员 Elliot Glazer 表示自己出差几天刚回办公室，就要同时预测 Yang-Mills 理论的求解进展、评估新 Lean 内核的加固水平，还要继续做自己的本职 evals 工作。zetalyrae 调侃道："OpenAI 快完成 Yang-Mills 理论了""你知道那是什么吗？""不知道，你呢？""也不知道。"——暗示大家对 OpenAI 在形式化数学上的进展议论纷纷，但真正懂的人不多。
「Fun」频道最新
- 64GB 内存的 Surface 竟有近半被「硬件保留」，只认出 32GB — draginol · 2026-10-17
- AI 影片创作者回怼差评：没有 AI 这些作品根本不会存在 — PurzBeats · 2026-10-17
- 游戏开发者放话：AI 几小时能克隆流畅版的游戏算不上真游戏 — AIandDesign · 2026-10-17
- 牙医只给半边嘴抛光做对照实验，网友调侃「是你们谁干的？」 — NathanpmYoung · 2026-10-17
- 「AI 数据火鸡悖论」梗图：喂给 AI 的数据越多，越接近被反噬那天 — kleffew94 · 2026-10-17
- 98 字节的 JPEG XL:AI 生成 Radiohead《Kid A》风极简图像 — amplifiedamp · 2026-10-17