Hacker News · AI· kerim-ca·· 4 小时前精选AI 评分83
AGMAI 呼吁 OpenAI 立即公开杨-米尔斯理论的 AI 证明与 Lean 代码
Request for Immediate Release of Yang–Mills AI Output
AI 导读
数学与人工智能咨询小组（AGMAI）呼吁 OpenAI 立即公开其宣布的杨-米尔斯理论、量子色动力学和标准模型完备性存在性证明背后的自然语言与 Lean 形式化输出。
推荐理由
数学与人工智能咨询小组要求公开杨米尔斯理论的 AI 证明细节，反映出学术界对闭源科研成果验证机制的规范诉求。
来源：Hacker News · AI · agmai.org