数学与人工智能咨询小组呼吁 OpenAI 公开杨-米尔斯理论证明
热点事件持续更新
数学与人工智能咨询小组呼吁 OpenAI 公开杨-米尔斯理论证明
1 篇报道1 个报道来源59 分钟前更新
先了解这件事
AI 综述
数学与人工智能顾问小组公开呼吁 OpenAI 立即公布其声称已完成的杨-米尔斯理论、量子色动力学和标准模型补全的存在性证明及其 Lean 输出。 OpenAI 此前表示，其模型分别于 2026 年 9 月 9 日和 9 月 18 日证明了杨-米尔斯存在性和量子色动力学，Lean 也在 10 月 16 日完成了对前者的检查。
AI 根据报道生成 · 39 分钟前更新
最新进展10月28日 00:00
数学与人工智能顾问小组公开呼吁 OpenAI 公布其搁置的杨-Mills 证明报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- Rohan Paul数学与人工智能顾问小组公开呼吁 OpenAI 公布其搁置的杨-Mills 证明
数学与人工智能顾问小组公开呼吁 OpenAI 立即公布其声称已完成的杨-Mills 理论、量子色动力学和标准模型补全的存在性证明及其 Lean 输出。OpenAI 此前表示其模型已分别于 9 月 9 日和 9 月 18 日证明了杨-Mills 存在性和量子色动力学，Lean 也在 10 月 16 日完成了对前者的检查。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。