热点事件持续更新
AGMAI呼吁OpenAI无条件公开Yang-Mills证明
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
2026年10月27日，IAS下属的数学与人工智能咨询组（AGMAI）发布建议，呼吁OpenAI无条件公开其宣称的Yang-Mills理论、量子色动力学存在性证明及标准模型补全的自然语言与Lean形式化输出。OpenAI此前表示推迟公开是等待Lean形式化完成；AGMAI认为按其说法形式化已经完成，再拖延没有科学理由。AGMAI还另文反对由实验室指定少数数学家参与成果发布，主张社区主导的有机传播。
AI 根据报道生成 · 50 分钟前更新
最新进展10月27日 22:12
AGMAI称Lean形式化已完成，要求OpenAI无条件公开证明与形式化输出。报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- AGI HuntIAS 下属数学与 AI 咨询组 AGMAI 呼吁 OpenAI 无条件公开 Yang-Mills 证明
IAS 下属的数学与人工智能咨询组（AGMAI）发布建议，呼吁 OpenAI 无条件公开其宣称的 Yang-Mills 理论、量子色动力学存在性证明及标准模型补全的自然语言与 Lean 形式化输出。OpenAI 此前称推迟公开是等待 Lean 形式化完成，AGMAI 认为按其说法形式化已经完成，再拖延没有科学理由。AGMAI 还另文反对由实验室指定少数数学家参与成果发布，主张社区主导的有机传播。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。