DeepMindの証明AIがScience掲載、エルデシュ問題9件を解決
Google DeepMindの数学証明システムAlphaProof NexusがScienceに掲載。エルデシュ問題353件中9件、OEIS予想492件中44件を証明し、スペイン研究者からは慎重な声も上がっている。
AIと数学のニュースと分析
AIと数学に関する製品動向と業界分析を全6件掲載しています。
Meta、Muse Spark協働の数学論文6本を発表
Metaが数学者とMuse Sparkの推論モードが協働した数学論文6本を発表。うち5本は既存の未解決問題に答えた。
グーグル、AIエージェント群が未解決問題5件を解明
GoogleのCogenticがGeminiで5つの未解決問題を前進させ、専門家が証明を検証した。
テレンス・タオ、良問枯渇に警鐘
テレンス・タオ氏は、AIの計算資源が未解決問題を早い者勝ちで解いてしまい、数学の難易度勾配が失われつつあると指摘した。
テレンス・タオ氏、数学に「証明過剰危機」を警告
フィールズ賞受賞者テレンス・タオ氏が、AIが生成する証明が数学界の査読体制を圧迫すると警告し、発表・教育の新ルールを提案する論文を発表した。
OpenAIモデル、Erdősの80年問題を崩す
OpenAIの内部汎用推論モデルが単位距離問題で代数的構成を示し、外部数学者が論文級と評価した。