После OpenAI ИИ снова нарушает обобщенную гипотезу Римана

Аннотация:

Менее чем за десять дней мир математики пережил настоящее катание на американских горках! 6 октября OpenAI заявила, что ИИ доказал квазириманову гипотезу. Математик Алекс Конторорвин прямо сказал: Если кто-то найдет этот результат, он обязательно сразу выиграет Филдсовскую медаль, никакого ожидания!

Позже он добавил, что ноль очков без Сигела может считаться «двумя медалями Филдса».

Другие ученые также высказались положительно.

Это просто уменьшающий размерность удар по человечеству от кремниевой жизни!

Но некоторые люди не сдались и не отступили.

Теперь с помощью ИИ математики доказали некоторую форму обобщенной гипотезы Римана!

Прошло всего несколько дней, и хорошие новости пришли одна за другой.

Результат этой квази-римановой гипотезы приводит к важному результату вычислительной сложности:

Бургиссер доказал гипотезу Валианта: в комплексном поле VP! = ВНП

После этого три человека-математика одержали окончательную победу и полностью решили классическую задачу, которую ждали 19 лет.

И еще они оставили заявление:

В работе не использовались инструменты искусственного интеллекта.

В работе не использовались инструменты искусственного интеллекта.

Атака в ночное время! Человечество возвращает инициативу

6 октября у OpenAI не было вспышки вдохновения или прозрения. Их ИИ походил на супербульдозер, яростно доказывающий квази-гипотезу Римана.

Теоретик чисел Гектор Пастен выразил свое однозначное удивление результатами OpenAI по исключению нулей Ландау-Зигеля, подчеркнув, что это «решенная проблема», а не просто прогресс.

Некоторые пользователи сети попросили Клода Fable 5.5 объяснить доказательство 199-страничной гипотезы квазиримана OpenAI, и оценка была очень высокой:

Это первый фиксированный интервал без нулевой точки.

Хотя это не сама гипотеза Римана, если это утверждение верно, на данный момент это наиболее близкий вывод к гипотезе Римана.

Но если ИИ может даже видеть сквозь этот уровень базовой структуры, какую ценность имеют математики-люди?

В математических кругах распространяется паника.

Но настоящий мастер не будет сокрушаться. Теперь, когда дорога свободна, нажмите на педаль газа и вперед!

Всего через 6 дней, 12 октября, на платформе препринтов Hexagon внезапно появилась новая статья.

Авторы — математики Кюртон и Торнер.

Ссылка: https://hexagonmath.org/2610.00200v1

Им некогда было оплакивать весну и осень. Вместо этого они сделали смелый шаг с крайне злобными глазами:

Пан.

Они напрямую применили инструменты, отточенные ИИ, к более широкому и сложному математическому объекту —

L-функции Гекке конечного порядка

Что такое функция L? Это «окончательная развитая версия» дзета-функции Римана.

В современной теории чисел такие великие доказательства, как Великая теорема Ферма, почти неотделимы от нее.

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

Все функции Гекке L конечного порядка не имеют абсолютно никаких нулей в правой части «1-1/6000».

Ссылка: https://hexagonmath.org/pdf/2610.00200v1

Не беда, если вы не понимаете. Если использовать аналогию.

Нулевая точка подобна морскому рифу.

Раньше эта морская зона была заполнена туманом, что затрудняло движение кораблей. Теперь два математика использовали радар искусственного интеллекта, чтобы принудительно нарисовать «безопасную зону».

В этом районе совершенно нет рифов.

Безопасная зона установлена. Первый кусок территории был отнят человеком.

Но самое интересное только начинается.

Экстремальная ярость: Чрезвычайное удушение изменено с 1/6000 на 1/32

В тот момент, когда появилась цифра 1/6000, ДНК любителей математики по всему миру изменилась.

Это слишком мало. Слишком консервативно.

Поскольку дверная коробка уже ослаблена, почему бы не снести и стену?

Хакатон с открытым исходным кодом охватил мир и взорвался в одно мгновение.

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

Это самая страстная сцена в современной математике, начиная с группового удушения.

Логика безжалостно упрощена. Ошибки выявляются и конкретизируются. Границы раздвигаются наружу снова и снова.

Константа резко сокращается, как свободное падение!

В конце концов, все сообщество определило границу безопасности этой «свободной зоны с нулевой точкой» на чрезвычайно преувеличенной цифре:

1/32

Безопасная зона расширялась в сотни раз!

Боитесь совершить ошибку? Обеспокоены тем, что человеческая интуиция ненадежна? Не имеет значения, подойдите непосредственно к машине и проверьте!

Сообщество открытого исходного кода использовало самого безжалостного рецензента ——

Проверку теорем бережливого производства

Это формальный язык проверки, который принимает только мертвую логику. Любой крошечный логический пробел приведет к сбою программы.

Соответствующее доказательство представляет собой формальное доказательство Lean, созданное математическим агентом AxiomProver, которое находится на Github с открытым исходным кодом.

https://github.com/AxiomMath/DedekindZetaZeroFree

Граница 1/32 не только выведена людьми, но и установлена ​​машинной логикой.

Это не единственный побочный продукт.

Запечатай горло одним мечом! 19 лет нерешенных проблем были уничтожены

Все приготовления, весь карнавал ждут сегодня этого момента.

На платформе препринтов arXiv появился блокбастер, подписанный Фреем, Сомосом и Видмером.

https://arxiv.org/abs/2610.18491

Академическое цунами, вызванное OpenAI, наконец-то раскололо самую твердую скалу.

Цель:

Граница Элленберга и Венкатеша в 2007 году.

Это заноза на глазу алгебраической теории чисел.

В 2007 году два математических гиганта дали чрезвычайно совершенный предел для ℓ-кручения группы числовых полей.

Но у него есть фатальный недостаток:

Это условность.

Доказательство двух больших парней должно быть основано на предпосылке, что «обобщенная гипотеза Римана (GRH) установлена».

Как только посылка рушится, вывод мгновенно становится недействительным.

За последние 19 лет бесчисленное количество ведущих учёных пытались убрать этот костыль и позволить себе встать на ноги. Все провалилось. Потому что нет инструментов. Потому что подстилающая порода еще не раскопана.

По сей день.

Фрай, Сомос и Видмер увидели «безопасную зону 1/32», которую захватила группа впереди.

Это база, которую они ждали 19 лет!

Без каких-либо колебаний трое мечников обнажили свои 88 мечей.

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

Происхождение. Упрощать. Убийца. Вывод ошеломляющий:

В 2007 году была безоговорочно доказана ℓ-крученная граница Элленберга–Венкатеша группы числовых полей.

Больше никаких предположений! Больше никаких предпосылок! Воздушный замок внезапно рухнул на землю и превратился в несокрушимую стальную крепость!

Призрак 19 лет исчез.

Основной элемент головоломки алгебраической теории чисел плотно сжимается людьми.

ИИ мне не нужен

Если на этом история и закончится, то это всего лишь чрезвычайно успешная академическая эстафета.

Но что действительно делает эту статью совершенно волшебной, так это предложение в конце.

В конце главы, объявляющей об окончании этой 19-летней проблемы, Фрей, Сомос и Видмер не выражали многоречивых стенаний или лести в адрес ИИ.

Они оставили лишь холодное, юмористическое и несколько безжалостное заявление:

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

Абсолютно.

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