Квази-хипотезата на Риман: какво следва за математиката

Две седмици след като OpenAI изсипа 722 ръкописа в хранилището openai/math, теорията на числата вече има отговор на първия въпрос: доказателството на квази-хипотезата на Риман изглежда вярно. Quanta Magazine събра реакциите на хората, които го четат ред по ред — и те не са за имиджа на OpenAI, а за математиката вътре.

Какво казва резултатът

Нетривиалните нули на зета функцията лежат някъде в вертикална лента между 0 и 1. Пълната хипотеза на Риман от 1859 г. твърди, че всички са точно по средата, на реална част 1/2. Квази-хипотезата е по-скромна: гарантира фиксирана ивица без нули в двата края на лентата.

Има два ръкописа и те не доказват едно и също:

• 30 септември 2026, 199 страници: нули само между 1/8 и 7/8. Този вариант е формално проверен в Lean.
• 5 октомври 2026, 49 страници: по-слабата граница 1/12 и 11/12, без формална проверка — но това е единственият от целия пакет, редактиран от човек, и се чете.

Разликата в четимостта е същината. Максим Радживил от Нюйоркския университет описва 199-страничния текст като „ужасно написан — по начин, който би довел до незабавно отхвърляне”. Затова математиците тръгнаха по втория: по-късият ръкопис вече е преразказан в частни бележки от 7 до 13 страници, които циркулират между специалистите и потвърждават верността му.

Идеята, която никой не беше потърсил

Най-интересното е не че моделът е решил задачата, а как. Доказателството използва метаплектични форми — обекти, които съществуват от десетилетия, но бяха смятани за странична алея. Александър Дън от Georgia Tech, който прегледа аргумента, казва, че текстът всъщност синтезира „добре познати идеи”, и добавя: „Никой не очакваше това.”

Единият ключов съставен елемент е формула от 2021 г. на самите Дън и Радживил. Друг е семейство обекти, до което Хенрик Иванец от Рутгерс се е доближил още през 2002 г., без да го свърже с хипотезата. Тоест материалът е бил на масата години наред — просто подреден в различен ред.

Джаред Дюкър Лихтман от Станфорд нарича случилото се „най-значимото постижение на AI в математиката досега, при това с голяма разлика”. Радживил е по-пряк за следствията: „зашеметяващи”. Квази-хипотезата вади наведнъж десетки твърдения, които до момента се публикуваха с уговорката „ако допуснем хипотезата на Риман” — не само в теорията на числата, но и в геометрията и теоретичната информатика.

Проверката още не е приключила

Питър Сарнак от Принстън преправи курса си този семестър, за да го посветят на доказателството, и е пределно ясен: няма да го нарече теорема, преди хората да минат през всички детайли. Това е нормалната процедура в математиката, независимо кой е авторът — същият стандарт, по който се претеглят и твърдения като загадката на NSA, разбита от Claude.

Има и основание за предпазливост. Собствените числа на OpenAI: 372 фамилии резултати, около 4000 зададени задачи, средно по три часа изчислително „мислене” на резултат — и формална проверка в Lean само за около 42% от основните твърдения. На 7 октомври, по-малко от денонощие след публикуването, компанията оттегли три ръкописа заради грешка в знака, която събори един аргумент и повлече още два зависими от него; други 14 бяха поправени, пише Retraction Watch.

Снимка: Retraction Watch

Независим одит на предишната партида — статия на Миколай и Кшиштоф Сиеницки върху 10 резултата, обявени на 1 август 2026 г., с 18 рецензии по глави — не намери потвърдена съществена грешка в основните твърдения. Показателно е, че една „открита грешка” се оказа артефакт от извличането на текста от PDF.

Ще стигне ли до пълната хипотеза

Тук ентусиазмът спада. Уил Соуин от Принстън е скептичен, че същият подход води до реалната част 1/2 — разликата между „фиксирана ивица” и „точно линията” не е количествена, а структурна. Томас Блум от Манчестър е по-умерено оптимистичен. Милионът долари от института Клей остава неизплатен: наградата е за цялата хипотеза.

Паралелно в AI средите върви друг спор, който опира до същото неудобство — дали можем да разберем какво става вътре. MIT Technology Review описва твърдението на Ник Камарата от Goodfire, че мрежите са далеч по-разбираеми, отколкото изглеждат: „Гледахме го погрешно.” Крис Потс от Станфорд отговаря, че публикацията „не прави нито един от проблемите по-лесен”, а Джейкъб Хилтън от Alignment Research Center я смята за нереалистична картина на състоянието на областта.

Заключение

За математиката значението е конкретно и ограничено: ивица без нули, която отпушва цял пласт условни резултати, плюс указание, че метаплектичните форми заслужават внимание. Това не е хипотезата на Риман и никой от хората по темата не го представя така. Следете две неща през следващите месеци — дали 49-страничният вариант ще получи формална проверка в Lean и колко бързо ще се появят първите човешки статии, които надграждат върху него. Второто ще е истинският тест: резултат, който не можеш да ползваш, не е инструмент.