もう数学者はいらないらしいね
人口知能が全部解決する