OpenAI公開AI數學證明，AGMAI說明後續評議原則 | LIFE生活網

• OpenAI 公開了由內部 AI 模型產生的 722 份數學手稿與部分證明程式。 • 數學與人工智慧諮詢小組 AGMAI 說明，成果公開後仍需數學社群進行評估與建立人類理解。 • 公開內容包含手稿、形式化證明與推理摘要，台灣研究者可透過 GitHub 檢視。 • 產生成果的內部模型尚未公開，後續開放時程未定。 • AGMAI 強調其諮詢角色不代表認可成果的過程或影響。