数学与AI顾问组呼吁OpenAI公开杨-米尔斯证明
热点事件持续更新
数学与AI顾问组呼吁OpenAI公开杨-米尔斯证明
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
数学与人工智能顾问组公开呼吁 OpenAI 立即公开其暂缓发布的杨-米尔斯理论、量子色动力学和标准模型完备性存在性证明的自然语言与 Lean 输出。 这些证明目前由 OpenAI 暂缓发布，顾问组要求其公开对应的自然语言与 Lean 输出。
AI 根据报道生成 · 1 小时前更新
最新进展10月28日 00:00
数学与AI顾问组呼吁 OpenAI 公开 Yang-Mills 等证明输出报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- Rohan Paul (X)精选数学与AI顾问组呼吁 OpenAI 公开 Yang-Mills 等证明输出
数学与人工智能顾问组公开呼吁 OpenAI 立即公开其暂缓发布的 Yang-Mills 理论、量子色动力学和标准模型完备性存在性证明的自然语言与 Lean 输出。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。