OpenAI、数学未解決問題を解く内部モデルを発表　独立数学者グループを設置

OpenAIは、8月末から訓練した内部モデルが、ミレニアム問題を含む100以上の長年の数学未解決問題を短期間で解いたと発表した。著名数学者のエドワード・ウィッテン氏らによる独立諮問グループを設け、結果の評価・公開・学術基準の維持を相談するとしている。社内ではAIが実験を自動化し、数年かかる作業が1週間程度で終わる事例も語られている。一方で、証明の検証可能性や人間の役割をめぐる懸念も同時に広がっている。研究支援や形式検証をエージェント化するチームは、独立検証の経路と再現手順を成果物と同じ優先度で設計する必要がある。