AIと数学 2026-08-21 テレンス・タオ氏、数学に「証明過剰危機」を警告 フィールズ賞受賞者テレンス・タオ氏が、AIが生成する証明が数学界の査読体制を圧迫すると警告し、発表・教育の新ルールを提案する論文を発表した。 #AI研究#学術