В середине мая в Калифорнии прошла закрытая встреча тридцати ведущих математиков со всего мира. Учёные собрались, чтобы проверить, насколько хорошо новый искусственный интеллект умеет решать задачи.