注目9月8日OpenAI、ナビエ・ストークス問題にAI解•OpenAI、ナビエ・ストークス問題にAI解•Lean言語で形式的証明を公開•数学の未解決問題に挑戦OpenAI研究・論文科学・研究続きを読む →
8月1日OpenAI、次世代モデル「Astra」を予告•OpenAI、次期モデルAstraを予告•複数AIエージェントが長時間協働•GPT-6か新GPT-5系かは未定OpenAIマルチエージェントサム・アルトマン続きを読む →
7月16日GPT-5.6 Sol、統計学30年来の予想を反証•GPT-5.6 Solが統計予想を90分で反証•前身モデルは20時間でも失敗•AIの新知見創出に一石投じる数学研究・論文OpenAI続きを読む →
注目7月12日GPT-5.6 Sol Ultraが50年来の数学難問を証明•GPT-5.6 Sol Ultraが50年未解決の数学予想を証明•64サブエージェントが並列処理、1時間未満で達成•数学者は証明を評価も先行研究の欠如を批判OpenAI研究・論文科学・研究続きを読む →
注目6月1日OpenAIのAI、80年来の数学難問を解決•OpenAIモデルが80年来の難問を解決•人間が解けなかった数学問題に成功•AIの数学研究能力の進展を示す数学OpenAI研究・論文続きを読む →
5月30日テレンス・タオ「AIが数学に分業もたらす」•テレンス・タオがAIの数学活用論じる•数学研究に初の分業が生まれると指摘•AI支援チームで研究、人は発想担う科学・研究数学仕事・業務効率化続きを読む →
4月30日OpenAI研究者が数学とAGIの関係を解説•AIの数学力が2年でオリンピックレベルに到達•OpenAI研究者が数学をAGIの試金石と説明•数学ベンチマークがAI能力測定の主要指標にOpenAIAGI科学・研究続きを読む →