Про очередной хайп, как суперинтеллект якобы решил 700 сложных математических проблем, я прочитал уже в десятках каналов, причём подчас весьма авторитетных, и что интересно, практически нигде не увидел и крупицы критического мышления, что честно говоря весьма удивительно. Сплошные прям восторги.

Ну, во-первых, из 700 только около 300 имеют какую-никакую формализацию на лине (которая сама по себе тоже далеко не стопроцентная гарантия правильности).

Во-вторых, академическое математическое сообщество к этому отнеслось весьма негативно: от откровенно прохладно до крайнего неприятия. Да, небольшой процент прикормленных штрейкбрехеров конечно нашелся, но и всё. А так, вот например Энрико Фатигенти, математик из Римского университета пишет:

"Они просто опубликовали несколько статей объемом более 100 страниц, в которых утверждается, что они решили ту или иную проблему, часто с избыточными аргументами, неясной логической структурой, множеством тупиковых ситуаций и странной или вызывающей беспокойство терминологией - другими словами, с нейрослопом. И затем ожидается, что мы пройдемся по пейперу, проверим, очистим, упростим и объясним, что происходит на самом деле."
(тут можно предположить, что ув. Фатигенти возмущается скорее тем, что "мы пройдемся по пейперу" бесплатно, ну ok:)

В-третьих, значимость самих проблем сильно преувеличена. Да, над ними работают годами или десятилетиями, но или в одиночку или совсем маленькими коллективами. А в программировании нередки проекты на десятки миллионов строк кода и тысячи человеко-лет, где логическая сложность создания/"решения" превосходит тот же Навье-Стокс на порядки. Просто тут есть хорошее финансирование, а в математике увы нет.

Если бы например лет 10 назад прилетели инопланетяне и заявили: либо вы за год решите проблему Навье-Стокса, либо мы уничтожим всю Землю, ну разве бы человечество не справилось? Был бы организован всемирный проект, вложены все имеющиеся ресурсы, и 100% планета была бы спасена, и тоже касается практически всех остальных мировых математических проблем по сути.

А вот если например задача была поставлена формально верифицировать дистрибутив arch linux, или за год сделать GTA VII, нууу, далеко не факт, что человечество справилось бы :) Даже и сегодня с помощью суперинтеллекта.