メタAI、未解決だった数学の問題6問を解決し、10月2日に研究論文6本を公開
Metaによると、同社のAIモデルは2026年10月2日、複数の数学分野にまたがる6つの未解決のリサーチ問題の解決を数学者らが進めるのを支援した。同社はこの成果を、Fundamental AI Research(FAIR)チームとSuperintelligence Labsによる6本のリサーチ論文として発表した。主な成果の一つは、研究者のGarcía-Martínez氏とPérez-Rodríguez氏が以前提起した予想について、AIの支援を受けて反証を示したことだった。2026年5月初旬には、MetaのAutoformBotシステムが26冊の数学教科書をLean 4向けに自動で形式化し、45,000を超えるコード宣言と数十万行の検証済みコードを生成していた。
META+2.40%
GateNews·10-02 20:23
