Artificial intelligence × Cooperation × Mathematics ×