Hacker News · AI· kerim-ca·· 7 日前厳選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