Armstrong更正Lean非自由理论评价
热点事件持续更新
Armstrong更正Lean非自由理论评价
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
物理学家 Scott Armstrong 公开更正此前评价，确认 OpenAI 的 Lean 代码确实证明相关 Yang–Mills 理论不是自由理论，而是相互作用的理论。其依据是代码构造出非零应力张量迹；自由理论中该迹应恒为零，且这一结果符合渐近自由与紫外重整化群计算的预言。 Armstrong 同时澄清，先前称该构造“未证明非高斯”具有误导性；尚未被证明的是更强、更技术性的命题，即该理论不能由任意有限个普通自由场的 Wick 多项式描述。
AI 根据报道生成 · 38 分钟前更新
最新进展11月14日 05:50
物理学家更正：OpenAI Lean 代码确实证明 Yang–Mills 非自由理论报道时间线
沿着报道，了解事件的不同侧面。
11月14日
- AGI Hunt物理学家更正：OpenAI Lean 代码确实证明 Yang–Mills 非自由理论
物理学家 Scott Armstrong 更正此前评价，确认 OpenAI 的 Lean 代码已证明该 Yang–Mills 理论不是自由理论。他指出，自由理论中应力张量的迹恒为零，而非零构造符合渐近自由与 UV RG 计算的预言，证明还给出该理论无法用任意有限个普通自由场的 Wick 多项式描述的结论。Armstrong 确认该理论是相互作用的，未被证明的是不能由更多自由场构造出来的更强命题。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。