Yang-Mills 工作组明日公布 OpenAI 完整 Lean 代码与验证结论
burny_tech · x · 2026-11-10
据 Andrew Curran 转述，Yang-Mills 工作组将于明日同时公布两份材料：OpenAI 提交的完整 Lean 代码，以及工作组对该代码是否证明了纯 Yang-Mills 理论存在性的验证结论。此前理事会已收到工作组的答复，此次公开将让外界首次能完整审视这一备受争议的证明。
「研究」频道最新
- WorldFoundry 开源统一基础设施,补齐生成式世界模型评测短板 — OpenEnvisionLab · 2026-11-10
- Flide 推理引擎:决策模型 agent 提速 9.5 倍且保持精确 — NationalUniversityofSingapore · 2026-11-10
- KAUST 提出 JoVox:体素生成训练吞吐提升 8 倍、FLOPs 降至 1/15 — KAUST · 2026-11-10
- Goodfire 新方法用内部表征纠偏，最差组准确率从 51.6% 升至 97.7% — burny_tech · 2026-11-10
- Dyna Robotics 实测 RL 对比 IK:轮式机器人全身动作误差更低更自然 — chris_j_paxton · 2026-11-10
- Quanta 深挖 LLM 内省研究:向模型注入「想法」测试自我认知 — burny_tech · 2026-11-10