AGMAI呼吁OpenAI公布搁置的Yang-Mills证明
热点事件持续更新
AGMAI呼吁OpenAI公布搁置的Yang-Mills证明
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
数学与人工智能顾问小组（AGMAI，隶属高等研究院）公开呼吁 OpenAI 立即公布其搁置的 Yang-Mills 理论、量子色动力学和标准模型补全存在性证明背后的自然语言与 Lean 输出。 AGMAI 称，这些证明已被 OpenAI 搁置，因此要求其公开对应的自然语言与 Lean 输出。OpenAI 尚未就此作出回应。
AI 根据报道生成 · 2 小时前更新
最新进展10月28日 00:00
数学与 AI 顾问小组呼吁 OpenAI 公布搁置的 Yang-Mills 证明报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- RadarAI数学与 AI 顾问小组呼吁 OpenAI 公布搁置的 Yang-Mills 证明
数学与人工智能顾问小组（AGMAI，隶属 Institute for Advanced Study）公开呼吁 OpenAI 立即公布其搁置的 Yang-Mills 理论、量子色动力学和标准模型补全存在性证明背后的自然语言与 Lean 输出。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。