[Deus ex machina] OpenAI выложила 722 решенных ИИ математические задачи, но в отличие от предыдущих прорыв обошелся малыми средствами, однако математикам придется разбирать и осмысливать его месяцами

отметили
20
человек
[Deus ex machina] OpenAI выложила 722 решенных ИИ математические задачи, но в отличие от предыдущих прорыв обошелся малыми средствами, однако математикам придется разбирать и осмысливать его месяцами

Еще не вышедшая модель искусственного интеллекта от OpenAI решила 722 математические задачи. Компания выложила их в репозитории на GitHub, сгруппировав в 372 семейства результатов.

Этот массив математикам придется разбирать и осмысливать месяцами — в том числе чтобы определить, содержат ли доказательства новые и важные идеи или же представляют собой компиляцию существующих методов. Однако многие результаты уже проверены в Lean — языке программирования, который валидирует логику доказательства, — и потому почти наверняка верны.

Среди заявленных результатов — решение четырехмерной гипотезы Какеи, улучшения некоторых важнейших компьютерных алгоритмов мира и реальное продвижение к самой сложной проблеме математики — гипотезе Римана.

Представитель OpenAI сообщил Scientific American, что новая модель выдала почти все результаты в ответ на единственный запрос, адресованный одному ИИ-агенту. Это стало разительным отличием от предыдущего громкого решения проблемы Навье — Стокса, которое было получено коллективными усилиями роя из 10 000 агентов и обошлось в миллионы долларов вычислительных мощностей. Если это правда, это означает, что беспрецедентная математическая мощь вскоре может стать доступной каждому. Но репутация OpenAI среди математиков — смелые заявления при минимуме прозрачности — вызывает закономерный скепсис.

«Я считаю, пока они не выпустят модель и люди не смогут воспроизвести их результаты — любые заявления о решении задач одним агентом с одного запроса следует рассматривать как непроверенные. Пусть предоставят доказательства», — заявил математик Эндрю Сазерленд из Массачусетского технологического института.

Публикация решения проблемы Навье — Стокса вызвала такие споры, что 21 сентября компания объявила о создании независимой консультативной группы математиков для выработки регламента ответственного обнародования результатов, полученных ИИ. Разработанные группой рекомендации призывают компанию, публикующую такие результаты, раскрывать модель, точный запрос и время вычислений по каждому из них. Тем не менее, OpenAI по-прежнему предпочитает раскрывать лишь среднее время вычислений для задачи, некоторые дополнительные статистические данные — и никаких запросов.

В OpenAI серьезно относятся к рекомендациям консультативной группы и стараются им следовать — но не обязаны это делать, пояснил представитель компании.

Пока разгорался спор вокруг Навье — Стокса, комментарии сотрудников OpenAI привели некоторых математиков к мысли, что модель получила дополнительные результаты, которые пока не обнародованы. Это поднимает важный вопрос: что вреднее — вывалить на сообщество груду необъясненных доказательств или вообще их скрыть?

«Если мы хотим знать ответы на эти математические вопросы, я не вижу причин держать их от нас в секрете. По мне, для математики это будет благом», — считает математик Дэниел Литт из Университета Торонто.

С другой стороны, известный математик Теренс Тао публично критиковал OpenAI и другие передовые ИИ-лаборатории за «безумные» темпы публикации результатов, созданных ИИ.

Примечательно, что результаты эти появляются слишком быстро даже для самих разработчиков — в OpenAI признались, что штатные математики компании еще не все поняли в уже опубликованных решениях. И все же замедляться они не планируют. Компания хочет вложить в руки математиков как можно более мощный инструмент. Более того, эти решения — показательный тест, демонстрирующий стремительное развитие ИИ от OpenAI, добавил представитель.

Добавил suare suare 8 Октября
Дополнения:

* Быстрый ответ Алисы AI
Содержимое ответа
 
Deus ex machina (в переводе с латыни — «бог из машины») — это художественный приём. Суть в том, что сложную, безвыходную ситуацию в сюжете разрешают внезапно, за счёт внешнего, ранее не действовавшего фактора. vk.rudic.academic.ruru.wikipedia.org*web.archive.org
 
Откуда название? Из античного театра. Когда драматург заводил героев в тупик, на сцену с помощью специального механизма («машины», mechane) спускали актёра в роли божества — и он решал все проблемы. Отсюда и название. Особенно часто такой приём использовал Еврипид. vk.ruweb.archive.orgdzen.ru
 
 
В литературе и кино это значит: конфликт разрешают не логичным развитием сюжета, а чудесным вмешательством извне — появлением сверхъестественной силы, внезапной случайностью, всемогущим техническим устройством. vk.rulitclubbs.ruru.wikipedia.org*
 
Примеры из литературы: в «Хоббите» героев, окружённых врагами, спасают орлы; в «Капитанской дочке» Пушкина спасение героя обеспечивает случайная встреча с императрицей. litclubbs.ruru.wikipedia.org*dzen.ru
 
Часто такой приём критикуют за то, что он ломает внутреннюю логику мира, обесценивает усилия героев и может вызвать у читателя или зрителя чувство, что автор просто «выкрутился», не проработав сюжет.
 
Но иногда его используют осознанно — например, в комедии, мифах или чтобы подчеркнуть беспомощность человека перед судьбой. vk.ru
 
Scientific AmericanСША
08 октября 2026 07:36
 
Scientific American: OpenAI объявила о решении ИИ сотен математических задач
 
 
OpenAI совершила новый научный прорыв, пишет Scientific American. Компания утверждает, что ее новая, еще не опубликованная модель ИИ решила несколько сотен сложнейших математических задач, над которой ученые долгие годы ломали голову.
 
Джозеф Хаулетт (Joseph Howlett)
 
Месяц назад компания решила одну из шести главных математических задач. Теперь говорит, что новая модель сделала куда больше — и на этот раз почти без затрат
 
Шлюзы открыты. Сразу после того, как новая большая языковая модель OpenAI совершила крупнейший математический прорыв за 20 лет, компания обнародовала не менее 372 групп результатов той же модели. Каждая решает или существенно продвигает важный нерешенный вопрос математики или теоретической информатики, сообщает компания.
 
OpenAI раскрыла результаты в репозитории на GitHub в шесть вечера по восточному времени. На то, чтобы разобрать и осмыслить этот поток, у математиков уйдут месяцы — важно понять, содержат ли доказательства новые и важные идеи или представляют собой помесь существующих приемов. Однако многие результаты уже подтверждены в Lean — языке программирования, который проверяет правильность логики доказательства, — и посему едва ли могут быть ошибочными.
 
Среди заявленных результатов — решение четырехмерной гипотезы Какеи, улучшения важнейших мировых компьютерных алгоритмов и реальное продвижение к самой страшной задаче математики, гипотезе Римана.
 
Представитель OpenAI заявил Scientific American, что новая модель, публике не раскрытая, выдала почти все результаты в ответ на единственный запрос единственному ИИ-агенту. Это резко отличается от прежнего сенсационного решения задачи Навье — Стокса усилиями 10 тысяч агентов ценой многомиллионных вычислений. Если это правда, неслыханная математическая мощь вскоре может стать доступна каждому. Но репутация OpenAI среди математиков — громкие заявления при малой прозрачности — вызывает серьезное недоверие.
 
«Пока и если они не назовут модель и люди не смогут воспроизвести результаты, любые заявления об одномоментном решении задач с помощью единственного агента следует считать непроверенными, — говорит Эндрю Сазерленд (Andrew Sutherland), математик из Массачусетского технологического института. — Надо требовать подтверждений». (Представитель OpenAI также сказал Scientific American, что часть результатов потребовала нескольких попыток.)
 
Обнародование решения задачи Навье—Стокса вышло настолько спорным, что 21 сентября компания объявила о создании независимой консультативной группы математиков. Та должна дать рекомендации о том, как ответственно публиковать результаты, порожденные искусственным интеллектом. Группа рекомендовала компаниям, публикующим такие результаты, раскрывать модель, точный запрос и время вычислений по каждому. Однако, вопреки рекомендациям, OpenAI раскрыла лишь среднее время вычислений на задачу с некоторой дополнительной статистикой — и без запросов.
 
Представитель OpenAI сказал нашему изданию, что команда серьезно относится к рекомендациям консультативной группы и старается их соблюдать, но компания этими рекомендациями не связана.
 
Рекомендации особенно критичны к компаниям с «закрытыми внутренними моделями», недоступными математикам. По словам OpenAI, компания стремится объявить модель как можно быстрее и ответственнее.
 
Пока разворачивался спор вокруг задачи Навье — Стокса, комментарии сотрудников OpenAI навели некоторых математиков на мысль: модель компании выдала дополнительные результаты, но та медлит с их обнародованием. Отсюда важнейший вопрос: что хуже — обрушить на общество кучу необъясненных доказательств или полностью их утаить?
 
«Если мы хотим знать ответы на эти математические вопросы, не вижу причин просить компанию держать их от нас в секрете, — говорит математик из Торонтского университета Дэниел Литт (Daniel Litt). — Как по мне, математике это пойдет на пользу».
 
Между тем, знаменитый математик Теренс Тао (Terence Tao) резко критикует OpenAI и другие «передовые» лаборатории ИИ за «безумный» темп.
 
Такие результаты появляются чересчур быстро даже для самих лабораторий: представитель OpenAI поделился, что многие новые результаты пока не поняты математиками компании. Но замедляться там не намерены и хотят дать математикам как можно более мощный инструмент.
 
Более того, в OpenAI утверждают, что замедляться нельзя, поскольку эти задачи — незаменимая проверка того, что ИИ действительно умнеет. Однако для тех, кто видит в математической истине цель, а не средство, исход этой гонки предвидеть становится все сложнее.
 
Добавил suare suare 8 Октября
Комментарии участников:
suare
+1
suare, 8 Октября , url

Когда весь массив решений будет проверен, коллективный математический разум всего человечества будет повержен Суперинтеллектом и превратится в массив ни к чему негодных глиняных учёных черепушек, точно также, как это произошло в шахматах, го, покере, стратегических играх и прочей «развлекухе», где AI одержал множество убедительных побед.

в какие игры искусственный интеллект может обыгрывать людей?

Быстрый ответ Алисы AI
Содержимое ответа
 
Искусственный интеллект уже обыгрывал людей во многих играх — от классических настольных до современных видеоигр. Давайте посмотрим на самые знаковые примеры.
Настольные и логические игры
Шахматы. Современные шахматные движки, такие как Stockfish или Leela Chess, значительно превосходят даже сильнейших человеческих игроков благодаря способности просчитывать огромное количество вариантов. В 2017 году система AlphaZero, обучившаяся с нуля на правилах игры, одержала победу над Stockfish в матче из 100 партий. scientificrussia.rutacticum.onlineskillbox.ru
Го. Это одна из самых сложных игр для компьютеров из-за огромного числа возможных позиций. В 2016 году программа AlphaGo победила одного из сильнейших игроков мира Ли Седоля. Позже появилась версия AlphaGo Zero, которая обучалась исключительно на играх с самой собой и в итоге превзошла предыдущую версию AlphaGo. 25.hse.ruru.wikipedia.org*aif.ru
Сёги. Аналогично шахматам, современные системы ИИ успешно соревнуются с сильнейшими игроками в эту японскую настольную игру.
Видеоигры
StarCraft II. Программа AlphaStar, разработанная DeepMind, смогла обыграть профессиональных игроков в StarCraft II, используя комбинацию обучения на данных с реальными матчами и самообучения. stopgame.ru
Gran Turismo. В гоночной игре Gran Turismo Sport система GT Sophy, обученная с подкреплением, показала время круга лучше, чем у 95% игроков-людей, а после дополнительных тренировок — лучшее в мире. naukatv.ru
Dota 2. Системы от OpenAI успешно соревновались с командами людей, используя сложные стратегии и обучение с подкреплением. forbes.ru
Карточные игры
Техасский покер (безлимитный холдем). В 2017 году система Libratus обыграла четырёх профессиональных игроков в хедз-ап (один на один) в рамках турнира Brains vs. AI. Позже была создана версия Pluribus, которая смогла обыграть сразу пятерых профессионалов в формате с несколькими игроками за столом. forbes.ruhabr.comtass.ru
Почему это происходит?
Успех ИИ в этих играх связан с несколькими факторами:
  • Глубокое обучение с подкреплением. Алгоритмы учатся принимать решения, взаимодействуя с окружением и получая обратную связь в виде наград (выигрыш, победа).
  • Способность к анализу огромного количества вариантов. В играх с полной информацией (шахматы, го) ИИ может просчитывать миллионы и миллиарды возможных ходов вперёд.
  • Адаптивность и самосовершенствование. Системы постоянно учатся на своих ошибках и оптимизируют стратегию.
  • Обработка неопределённости. В играх с неполной информацией (покер) ИИ учится принимать решения в условиях риска и неполных данных.
Важный нюанс
Хотя ИИ уже доминирует во многих играх, человек всё ещё способен находить слабые места в его стратегии. Например, в 2023 году американский игрок Келлин Пелрин обыграл систему KataGo в го, обнаружив ранее неизвестное «слепое пятно» в её игре. А в 2026 году корейский гроссмейстер Син Чинсо впервые за 10 лет победил одну из сильнейших систем ИИ в серии из трёх партий. ixbt.comhi-tech.mail.ru
Таким образом, хотя ИИ уже показал своё превосходство во многих играх, человек сохраняет потенциал для противостояния, особенно если умеет адаптироваться и мыслить нестандартно.
Оценить ответ
22 источника
  • skillbox.ru
  • stopgame.ru
  • aif.ru
  • sports.ru
  • vk.ru
  • blog.skillfactory.ru
  • scientificrussia.ru
  • tass.ru
  • xchess.ru
  • tacticum.online
  • skillbox.ru
  • 25.hse.ru
  • ixbt.com
  • hi-tech.mail.ru
  • ru.wikipedia.org*
  • forbes.ru
  • tass.ru
  • ria.ru
  • habr.com
  • rustore.ru
  • naukatv.ru
  • daily.afisha.ru
  • *РКН: иностранный владелец ресурса нарушает закон РФ
    • Какие ещё настольные игры, кроме шахмат, могут быть сложными?
    • Какие технологии лежат в основе успеха ИИ в играх?
    • Какие перспективы у ИИ в видеоиграх?
    suare
    +1
    suare, 8 Октября , url

    Я это к тому, что если у плода будущего Суперинтеллекта, все ещё пребывающего в  голове* вместо чрева, как у Зевса, коллективного человечества, хватило умения в одночасье решить 722 математические задачи, над котором лучшие представители математической науки бились веками, то для AI это всего лишь младенческие игры, в которых, как мы уже убедились неоднократно, у бедных — по сравнению с ИИ — умом математиков, шахматистов, игроков в Го и покер и других желающих сыграть в интеллектуальную рулетку против будущего держателя глобального интеллектуального казино нет ни единого шанса выиграть: выигрывает всегда, как нам известно, хозяин Казино.

    А иначе зачем же было триллионнодолларовый огород городить?

    Путин: лидер по созданию искусственного интеллекта станет властелином мира  Добавил waplaw 1 Сентября 2017

    17:17, 4 сентября 2017

    Маск прокомментировал слова Путина о лидерстве в сфере искусственного интеллекта

    По мнению предпринимателя, соперничество в этой области может спровоцировать третью мировую войну

    Москва. 4 сентября. INTERFAX.RU — Основатель компании SpaceX Илон Маск прокомментировал слова президента РФ Владимира Путина о том, что властелином мира будет тот, кто станет лидером в сфере развития искусственного интеллекта.

    «Начинается...» — написал Маск в своем твиттере, прикрепив ссылку на новость The Verge о заявлении Путина.

    China, Russia, soon all countries w strong computer science. Competition for AI superiority at national level most likely cause of WW3 imo.

    — Elon Musk (@elonmusk) 4 сентября 2017 г.

    «Китай, Россия, вскоре и все страны, которые сильны в компьютерных науках. Конкуренция за превосходство в области искусственного интеллекта на национальном уровне — наиболее вероятная причина начала Третьей мировой войны», — написал основатель компаний SpaceX и Tesla в соцсети.

    Предприниматель также добавил, что войну может инициировать не лидер одной из стран, а искусственный интеллект, если он сочтет, что упреждающий удар предпочтительнее для победы.

    May be initiated not by the country leaders, but one of the AI's, if it decides that a prepemptive strike is most probable path to victory

    — Elon Musk (@elonmusk) 4 сентября 2017 г.

    Маск и ранее высказывался насчет угроз, исходящих от искусственного интеллекта. Так, в августе 2017 года он подписал петицию, в которой 116 представителей технологических компаний из 26 стран призвали ООН начать регулировать производство оружия на основе искусственного интеллекта, которое сможет открывать огонь без участия человека.

    В июле 2017 года он призвал правительство США контролировать развитие технологий и предложил создать орган, который будет собирать информацию о стремительно развивающемся ИИ для последующего регулирования этой области.

    По его словам, сейчас правительство «не имеет представления» об угрозах, которые искусственный интеллект может представлять для цивилизации. Маск предостерегал, что регулирование развития ИИ должно опережать разработки, иначе «будет слишком поздно».

    В феврале 2017 года предприниматель говорил, что развитие «глубокого ИИ», который окажется «умнее самого умного человека на планете», может заменить людей на искусственные алгоритмы.

    А в 2015 году глава SpaceX вместе с сооснователем PayPal Питером Тилем, партнером Y Combinator Сэмом Альтманом и другими инвесторами основали некоммерческую организацию OpenAI для исследования безопасного развития технологии ИИ. Инвестиции в создание организации составили $1 млрд.

    1 сентября Путин во время открытого урока «Россия, устремленная в будущее» в Ярославле заявил, что искусственный интеллект — это будущее всего человечества, и «властелином мира» станет тот, кто сумеет добиться лидерства в сфере создания искусственного интеллекта.

    * Быстрый ответ Алисы AI

    Содержимое ответа
     
    Рождение Афины-Паллады — один из самых необычных сюжетов древнегреческой мифологии. Наиболее распространённая версия рассказана в «Теогонии» Гесиода. livelib.ruru.ruwiki.ruru.wikipedia.org*
     
     
    Основная версия мифа
    Согласно этому мифу, отцом Афины был Зевс, а матерью — океанида Метида (олицетворение мудрости). Мойры (богини судьбы) предсказали Зевсу, что его жена Метида родит ему сына, который свергнет его с престола. Чтобы предотвратить это, Зевс усыпил Метиду ласковыми речами и проглотил её, пока она была беременна. ru.ruwiki.ruposlanie-book.rulivelib.ruru.wikisource.org
    Спустя некоторое время Зевс почувствовал сильную головную боль. Он призвал своего сына Гефеста и приказал разрубить ему голову, чтобы избавиться от мучений. Гефест ударил топором, расколов череп Зевса, и из головы громовержца появилась Афина — могучая воительница в полном боевом облачении: с копьём, щитом и в блестящем шлеме. livelib.ruru.wikisource.org
     
    Детали и вариации
    • Роль Метиды. Со временем материнство Метиды стало восприниматься скорее как символическое: Афина стала считаться порождением одного Зевса, который таким образом присвоил себе черты матери-родительницы. m.pravenc.ruancientrome.ru
    • Помощь в рождении. В разных версиях мифа в процессе участвовали разные помощники: Гефест (раскалывал голову) и Прометей (принимал Афину). ru.ruwiki.ruru.wikipedia.org*
    • Полное вооружение. Стесихор впервые упомянул, что Афина явилась в полном боевом облажении (паноплии). ru.ruwiki.ruru.wikipedia.org*
    • Место рождения. Эсхил указывал, что Афина родилась у озера Тритонида в Ливии, отсюда её прозвище Тритогенея. Однако встречаются и другие версии, например, что она была выкормлена в городке Алалкомены в Беотии. ancientrome.ruru.wikipedia.org*
    • Чудесные знамения. Пиндар сообщал, что в момент рождения Афины на Родосе пошёл золотой дождь. ru.ruwiki.ruru.wikipedia.org*
    • Символика. Некоторые исследователи видят в этом мифе аллегорию: рождение Афины из головы Зевса символизировало идею, что мудрость (Афина) исходит непосредственно от верховного бога, являясь воплощением его замыслов. ancientrome.ru
    Происхождение прозвища «Паллада»
    Существует несколько версий, откуда у Афины появилось второе имя — Паллада. По одной из них, она убила в игре крылатого гиганта Палланта (или свою молочную сестру Палладу, дочь реки Тритон) и взяла его имя. По другой — Афина выкрала сердце старшего Диониса и получила прозвище от его пульсирования. ru.ruwiki.ruru.wikipedia.org*
     
    Таким образом, миф о рождении Афины-Паллады отражает идею божественной мудрости, рождённой от Зевса, и её роль как покровительницы мудрости, войны и ремёсел.


    Войдите или станьте участником, чтобы комментировать