AIと数学 2026-09-14 テレンス・タオ、良問枯渇に警鐘 テレンス・タオ氏は、AIの計算資源が未解決問題を早い者勝ちで解いてしまい、数学の難易度勾配が失われつつあると指摘した。 #AI研究#学術
AIと数学 2026-08-21 テレンス・タオ氏、数学に「証明過剰危機」を警告 フィールズ賞受賞者テレンス・タオ氏が、AIが生成する証明が数学界の査読体制を圧迫すると警告し、発表・教育の新ルールを提案する論文を発表した。 #AI研究#学術