OpenAI、次期主力モデル「Astra」を公表 数学・理論計算機科学の10成果
OpenAIは8月1日付の公式発表で、数学と理論計算機科学の長年の未解決問題10件について、解決または大幅な進展につながる新たな結果を公表した。成果は社内版「Astra」によるものだという。
数学
本ページでは「数学」をテーマとした記事を一覧で掲載しています。
Tag
AIが作った証明をどう扱うか、数学研究者16人がルール整備を提言
数学研究とAI利用を巡る国際的な議論を受け、15大学に所属する数学研究者ら16人が6月2日、「Leiden Declaration on Artificial Intelligence and Mathematics（人工知能と数学に関するライデン宣言）」を公表した。宣言は、AIが生成する証明の信頼性や研究成果の帰属、査読・出版実務への影響に対応するよう求める内容で、国際数学連合（IMU）も支持し…
