数学者を大学で雇うより、AIに研究させるための計算費用に予算使った方がいいのでは?