数学とAIのこれまで(とこれから) - メルカリ