Новости об ИИ или СИ

А эти новости все захватывающие в прямом и переносном смысле... Привожу с небольшими изменениями заметку  Ирины Якутенко на эту тему...



      Ну что, мои дорогие, пока мы обсуждали Нобелевские премии, внутренняя модель OpenAI решила [1] несколько сотен самых важных математических проблем.
 
   Всего опубликовано 722 рукописи, они сгруппированы в 372 семейства. Все они выложены в открытый доступ [2], и математики уже начали активно их проверять.

       И хотя несколько ошибок уже обнаружили, первичные проверки показывают, что очень многое из того, что выдал ИИ, верно. Более того, математики, просмотревшие решения, говорят, что примерно каждая эта статья, если бы ее написал человек, сделала бы его кандидатом на получение премии Филдса, аналога Нобелевской премии в математике.
       А всего статей, напомню, 722. Люди на доказательства каждой подобной проблемы тратят многие годы, иногда жизнь целиком. OpenAI сообщает, что на решение каждой задачи ее модель затралила объем вычислений, эквивалентный примерно трем часам размышлений ChatGPT Pro.

        На проверку всех этих решений у людей уйдет на порядки больше времени. Поэтому, скорее всего, проверять их будут тоже с использованием искусственного интеллекта.   Это, кстати, вообще то, что, по всей видимости, вскоре ждет нас всех.
     Модели уже умеют делать колоссально более сложную работу несопоставимо быстрее нас, поэтому, хотя мы теоретически и могли бы ее выполнить, это экономически нецелесообразно, так что все больше дел мы будем передавать ИИ, оставляя за собой только функцию проверяющих.  Но проверять такие объемы тоже несопоставимо быстрее при помощи нейронок, так что и это будут делать они.
   
    Догадайтесь сами, к каким результатам в плане компетентности собственно людей это приведет, причем очень быстро.

     Но это планы на будущее. Сейчас же вернемся к проверкам того, что опубликовала внутренняя модель OpenAI.  Пока доказательства прогнали через специальную систему, которая проверяет каждый логический переход, и, как я уже написала, ошибки нашли, но их немного.
      Дождемся, пока подъедут более содержательные разборы, но из того, что я вижу, пожалуй, самое интересное, что нейронка решила эти задачи не методом brute force, то есть подбора, перебора и так далее.  Математики пишут, что некоторые доказательства из их областей весьма элегантны.

       В сети уже шутят, что после того как OpenAI и Anthropic решат все самые значимые математические проблемы, их сотрудники запрут компании на ключ и уедут до конца жизни отдыхать на Багамы. Но это, конечно, вряд ли произойдет – хотя предсказать, что таки произойдет, совершенно невозможно, так как мы в первый раз столкнулись с сущностью, которая намного умнее нас.
 
      Впрочем, полагаю, одно сказать можно точно: значительная часть народа продолжит утверждать, что это просто калькулятор, который подсовывает следующее наиболее вероятное слово, даже когда ИИ-няньки будут выдавать им корм в специальных кормушках для людей".

[1] - https://openai.com/index/sharing-ai-progress-in-mathematics/
[2] - https://github.com/openai/math