Но слышали-то про них многие. И собственно хорошие матшкольники про какую-нибудь гипотезу Коллатца скорее должны быть в курсе.
Я например слышал про балет "Лебединое Озеро". Это ж не значит, что я могу быть ПОЛЕЗЕН в качестве балерины.
Вполне возможно, что они таки научатся решать нормальные задачи настолько эффективно, что не будет большой разницы, кто их использует - я или Тао.
Или любой рандомный ноунейм, способный выделить текст с описанием проблемы, нажать CtrlC, и вставить его в нейроночное окно.
Но задачи в стиле "угадай что я задумал", как из стартового поста, они уже точно решают лучше, чем я.
Здесь срабатывает воспитательный импринтинг: "неформализованно => значит бред" (хотя конкретная задача из стартового поста действительно не айс).
И как это связано с олимпиадами и маткружками?
Вроде как задача этих двух - выращивание интеллектуалов. Которые хотя бы, например, смогут обезвредить манипуляцию жены, пытающейся отжать квартиру. Вместо того чтоб просить юриста записать при помощи кванторов определения жены и квартиры