ИИ решил математическую задачу, которая не давалась человечеству 80 лет — задачу Эрдоша*

wsj.com *сколько разных расстояний минимум может быть между n точками на плоскости, одна из самых известных задач комбинаторной геометрии XX века.