数学者テレンス・タオ氏が「Math 2.0」を提唱。AIによって証明が量産される時代に合わせ、数学研究の目的や評価基準を再構築する必要性を説きました。