Два гиганта объявили в один и тот же день: гипотеза индекса времени (ETH) была опровергнута.

Аннотация:

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

Возможно, это самая взрывная новость в сфере технологий в этом году, если не одна из них.

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

Среди них математический прорыв во многом связан с предыдущей работой лауреата Филдсовской премии Ван Хуна над гипотезой Какеи, тогда как физический прорыв может быть самым важным из трех и может решить проблемы, оставленные лауреатом Нобелевской премии Чэнь Нин Яном.

На этот раз я собираюсь поговорить о прорыве в компьютерной области: предположение об экспоненциальном времени не выполняется.

По словам Клода, это прорывное достижение уровня премии Тьюринга: «если утверждение верно, это изменит информатику».

Себастьен Бубек, нынешний исследователь OpenAI, бывший вице-президент Microsoft по искусственному интеллекту и выдающийся ученый, назвал это «самым большим сюрпризом, который я видел за 20 лет».

Более того, в один и тот же день почти одновременно два ИИ объявили об этом прорыве!

OpenAI и Anthropic, два гиганта искусственного интеллекта, почти одновременно объявили, что их внутренние модели опровергли «гипотезу экспоненциального времени» (ETH), которая доминировала в теоретической информатике в течение 27 лет!

Что еще более страшно, так это то, что в опубликованной Anthropic статье было четко отмечено, что основной алгоритм был построен по внутренней модели Клода.

Ноль вмешательства человека

Эта статья, которая может войти в историю человеческой науки, имеет единственного подписанного автора — Клода.

«Небо» в теоретическом компьютерном мире рухнуло. Что это значит?

Проще говоря, в 1999 году

Гипотеза экспоненциального времени (ETH)

Вы можете думать об этом как о кодовом замке с n переключателями, и это проблема 3SAT.

На протяжении полувека бесчисленное количество чрезвычайно умных умов изо всех сил старалось разблокировать замок, но никто не смог сломать одну вещь:

Время, необходимое для взлома замка, всегда будет стремительно расти «экспоненциально» по мере увеличения количества переключателей.

Например, предположим, что замок должен быть заполнен n числами, каждое из которых находится в диапазоне от 1 до 9. Каждая позиция имеет 9 вариантов выбора, поэтому всего существует 9ⁿ возможностей, что составляет 9 раз n раз.

Мы можем решить эту головоломку, исчерпав все 9ⁿ возможностей. Но этот метод крайне неэффективен: для решения судоку, требующего заполнения n = 100 чисел, даже с использованием всех компьютеров мира пришлось бы ждать, пока остынет солнце.

Люди уже давно безуспешно пытаются найти алгоритмы, время работы которых растет медленнее, чем 9ⁿ с увеличением n.

В 1999 году учёные выразили эту коллективную интуицию в форме формальной гипотезы:

Для 3SAT не существует субэкспоненциального алгоритма времени.

Вы можете немного повысить скорость, но эту «экспоненциальную стену» вам не преодолеть никогда. Это как в физике «превысить скорость света невозможно».

Эта гипотеза выдвигалась более 20 лет. В прошлом сотни статей использовались для изучения нижних границ сложности различных вычислительных задач, основанных на создании ETH.

Многие исследования, от теории графов и комбинаторной оптимизации до баз данных и вычислительной биологии, основаны на этом предположении.

Если гипотеза Римана будет опровергнута, то это будет связано с теорией чисел; Если ETH будет отменен, это будет связано со сложностью и параметризованными алгоритмами.

Вес ETH не достиг «

P vs NP

Но он более сильный и конкретный, чем P≠NP: если установлен ETH, можно получить P≠NP; но если ETH отменен, P=NP не может быть получено.

Большое количество условных выводов исследований, основанных на ETH, необходимо переоценить.

Появилась новая партия «жертв» в сфере ИИ——

В группе также есть приятель. Статья, которую он написал ранее, была основана на предпосылках создания ETH.

Теперь эта предпосылка может исчезнуть, и выводы статьи необходимо пересмотреть.

Представьте, что вы потратили несколько лет на изучение проблемы, написание статей и доказательств, и даже ученые в этой области изучают эту гипотезу более 20 лет (например, профессор Тули).

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

Переходя Рубикон научных исследований: единственный автор Клод

Сразу же произошла драматическая сцена.

Президент OpenAI Грег Брокман только что опубликовал официальное объявление, а его старый конкурент Anthropic только что опубликовал статью с таким же названием.

Он был настолько агрессивен, что разбился на месте!

Anthropic сказал: По совпадению, это не так. Наша внутренняя модель Claude была выпущена

16 октября

Более того, Anthropic оставила на странице документа «заявление об источнике»:

Основной алгоритм был обнаружен 16 октября с помощью внутренней исследовательской модели Claude, потребляющей 14 миллионов выходных токенов без какого-либо вмешательства человека.

Это означает, что

ИИ полностью пересек реку Рубикон научных исследований

В чем заключается концепция 14 миллионов токенов? Полный том «Задачи трех тел» содержит около 900 000 слов. 14 миллионов жетонов эквивалентны тому, что Клод на одном дыхании выведет более дюжины толстых черновиков «Задачи трех тел».

После оценки многие ведущие ученые заявили: «Это эквивалентно тому, как модель искусственного интеллекта завершает научные исследования, проводимые ведущим научным сотрудником-постдокторантом в течение одного-двух лет, за несколько дней без еды, питья и сна».

За последние несколько дней Клод самостоятельно исследовал путь, самостоятельно вывел формулы, самостоятельно проверил логику и даже использовал непопулярные математические инструменты за рубежом и, наконец, представил человечеству доказательство.

На этот раз это не «ИИ помогает математикам искать литературу» и не «ИИ правильно ответил на олимпиадный вопрос».

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

Основатель проснулся ночью, и математик превратился в «ревизора», чтобы быстро похудеть

Отменяет ли ИИ решение, если он говорит, что оно отменено? Может быть, ИИ «серьезно несет чушь (галлюцинацию)»?

Произошла самая волшебная сцена. Чтобы доказать свою невиновность, обе компании не просто выбросили PDF-файл, но и раскрыли

формальный код доказательства Lean

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

Но это не до конца подтверждает правильность доказательства.

Говорят, что двух основателей гипотезы ETH, Рассела Импальяццо и Рамамохана Патури, срочно попросили выступить.

Двадцать семь лет назад два учёных выдвинули гипотезу; 27 лет спустя их разбудили, чтобы проверить, как ИИ его перевернул.

Это, наверное, самая сложная эмоция в академической истории.

В настоящее время эти два эксперта объединяются с ведущими командами Массачусетского технологического института и других университетов, чтобы провести построчный анализ их кодов.

В то же время быстро продвигается и другой фронт.

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

Старший архитектор искусственного интеллекта NVIDIA Шива Кинтали в одночасье вспыхнул и сжал исходный 60-страничный сертификат фальсификации ETH OpenAI в 22-страничную упрощенную версию!

Он отсек утомительные шаги ИИ и не гонялся за оптимальным логарифмическим коэффициентом. Он лишь стремился чисто фальсифицировать основные утверждения и добавлял примеры расчетов.

У него только одна цель:

"Пусть коллеги-люди по-настоящему поймут".

Теперь открывается беспрецедентное академическое зрелище:

ИИ отвечает за решение сложных проблем: за несколько дней он открывает дверь, которую никто не открывал 27 лет;

Люди несут ответственность за пищеварение: преобразование длительных выводов ИИ в знания, которые люди могут понять и продолжать продвигать вперед.

Теперь очередь людей оценивать и оптимизировать домашнее задание ИИ.

"Смена субъекта-объекта" фундаментальных научных исследований

Уже в марте 2023 года OpenAI опубликовала сенсационный «Отчет-прогноз влияния ИИ на рынок труда». В этом списке человек, который возглавляет список

"Профессии, на которые больше всего влияет искусственный интеллект", на удивление является математиком

В то время большинство людей смеялись над этим: математика требует от человека самой строгой логики. Как мог ИИ, который так много говорит о мошенничестве, заниматься теоретической математикой?

Однако ровно три года спустя, когда ИИ в одночасье сфальсифицировал ETH, гипотеза Какеи была опровергнута моделями одна за другой...

Эта пуля, выпущенная три года назад, наконец, достигла цели теоретических исследований человечества.

Означает ли это, что ученые все вместе потеряют работу? Нет.

Как заметил три года назад выпускник Пекинского университета и ученый Вейцзе Су:

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

Как и после изобретения фотоаппарата, художникам больше не нужно соревноваться друг с другом в том, «кто рисует больше похожего», так родились импрессионизм и современное искусство.

Когда ИИ возьмет на себя тяжелую работу по «расчетам и доказательствам», люди, наконец, смогут потратить свою драгоценную энергию на более фундаментальные вопросы:

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

27 лет назад, когда два учёных написали гипотезу ETH, они и представить себе не могли, что её положат конец не людям.

Неожиданно два ИИ сдали экзамен в один и тот же день.

«ИИ не меняет мир, но он уже изменился».