AIと数学 2026-08-21 テレンス・タオ氏、数学に「証明過剰危機」を警告 フィールズ賞受賞者テレンス・タオ氏が、AIが生成する証明が数学界の査読体制を圧迫すると警告し、発表・教育の新ルールを提案する論文を発表した。 #AI研究#学術
OpenAI 2026-05-21 OpenAIモデル、Erdősの80年問題を崩す OpenAIの内部汎用推論モデルが単位距離問題で代数的構成を示し、外部数学者が論文級と評価した。 #AIと数学#推論モデル#科学研究AI