IAS 顾问组敦促 OpenAI 立即公开 Yang-Mills 与 QCD 证明输出

高等研究院（IAS）旗下的数学与人工智能顾问组（AGMAI）公开要求 OpenAI 立即公布其宣称的 Yang-Mills 理论、量子色动力学（QCD）及标准模型完备化存在性证明背后的自然语言与 Lean 形式化输出。