ГИПОТЕЗА 1959 ГОДА, ДОКАЗАТЕЛЬСТВО ОТ OPENAI И МАТЕМАТИК, КОТОРЫЙ ЕГО ПРОЧИТАЛ
Эта статья — о заметках, которые математик написал, чтобы объяснить чужое доказательство. Всё, что здесь сказано о доказательстве OpenAI, взято из этих заметок, из вторых рук.
Кривые через точки
Задача вырастает из школьного упражнения, которое называется интерполяцией: выберите несколько значений x, задайте, какое значение функция должна принимать в каждом из них, — и какой-нибудь многочлен это всегда сделает. На плоскости та же игра требует, чтобы кривая прошла через набор точек, а это ей удаётся, если её степень достаточно высока. У кривой степени d — её задаёт многочленное уравнение от x и y с наивысшей степенью d: у прямой степень 1, у окружности 2 — есть (d+1)(d+2)/2 коэффициентов, а требование пройти через точку — это одно уравнение.
Теперь потребуем большего: кривая должна проходить через каждую точку с кратностью m — по нескольку раз, как узел из пересекающихся там ветвей. Каждая такая точка накладывает m(m+1)/2 уравнений. При больших d и m подсчёт даёт примерно d²/2 коэффициентов против r m²/2 условий, так что для r точек подсчёт гарантирует кривую, как только d/m становится чуть больше √r, — точнее, как только коэффициентов становится больше, чем условий.
Гипотеза Нагаты (1959) делает это точным: для r ≥ 10 точек, расположенных «очень общим» образом — без особых совпадений между ними, как у точек, выбранных наугад, — любая такая кривая имеет степень больше m√r. Условие r ≥ 10 необходимо: девять точек всегда лежат на кубике (кривой степени 3), а эта кубика, взятая m раз, — кривая степени 3m, проходящая через каждую из них m раз, то есть ровно m√9, то самое равенство, которое гипотеза запрещает. Нагата доказал гипотезу для случая, когда r — точный квадрат.
Два примера из заметок: ни одна кривая степени 9 не проходит трижды через каждую из 10 общих точек (всего 55 коэффициентов на 60 условий — этого самого по себе недостаточно для вывода, ведь условия могут перекрываться; исключает такую кривую граница Нагаты, поскольку 9 меньше 3√10 ≈ 9,5), и ни одна кривая степени 12 не проходит трижды через 16 общих точек — случай равенства 12 = 3√16.
Доказательство в пересказе Тевелева
Ссылка — «OpenAI, Nagata’s conjecture for plane curves», препринт OpenAI Math Release от 23 сентября 2026 года, с сопроводительными рукописями по смежным вопросам, опубликованными 23 сентября и 5 октября. Женя Тевелев из UMass Amherst изучил его для доклада и превратил этот рассказ в заметки, надеясь, что они «будут полезны, особенно неспециалистам». Тевелев не претендует на оригинальность и перестроил изложение аргумента.
Стандартные первые шаги сжимают плоскость на гладкую кубическую кривую и сливают r точек в одну. Новая идея, в этом изложении, — позволить кубике образовать узел (точку, в которой кривая пересекает сама себя, пережимая петлю) и проследить за её тета-функциями — обычным способом записывать функции, живущие на такой кривой, — пока это пережатие смыкается. Затем двойственность меняет вопрос «какие кривые обращаются в нуль в этих точках?» на его зеркальное отражение — «какие значения можно там задать?», и остаётся лишь интерполяция на треугольнике точек с целыми координатами: конечная таблица значений, которую нужно заполнить, «что несложно».
Случай шестнадцати тройных точек: 91 точка решётки в треугольнике (слева) и 96 мономов — элементарных членов вроде x²y, из которых строятся многочлены (справа). Доказательство того, что эти 96 членов могут принимать любые значения в 91 точке (матрица 96 × 91 имеет «полный ранг»), исключает существование кривой. — Рисунок 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.
То же вычисление решает родственный, более технический вопрос, в котором плоскость увеличивают вокруг одной точки с разными коэффициентами по двум направлениям («взвешенные раздутия», weighted blow-ups), когда отношение этих коэффициентов превышает девять, — частный случай гипотезы Думницкого, Харборна, Кюроня, Роэ и Шемберга.
Заметки представляют аргумент как доказательство. В них не упоминается никакой независимой формальной проверки — ни рецензирования, ни доказательства, проверенного компьютером.
«Их первый читатель-человек»
В заметках есть и мнение автора. Читая опубликованные рукописи, Тевелев, по его словам, «задумался, не я ли их первый читатель-человек. Они выглядели почти совсем не отредактированными». Тевелев подозревает, что компания рассчитывала, что разбираться с ними будут математики, — а такая редакторская работа «требует квалификации и времени, но приносит мало того признания, которое связано с оригинальным исследованием». Как и многие другие, Тевелев считает, что такой подход вредит профессии, «особенно мотивации и подготовке молодых людей».
«В то же время я считаю эти рукописи потрясающим достижением», — пишет Тевелев: модель решила задачи, которые многие эксперты считали недосягаемыми, а «старый подлесок математических гипотез» «стремительно выгорает в огне ИИ».
Предложение: независимый фонд, финансируемый ИИ-компаниями, который предлагал бы молодым исследователям гранты, стипендии и доступ к лучшим моделям, с рецензированием по образцу Национального научного фонда США.
В заметках сказано, что они «отредактированы и проиллюстрированы с помощью ChatGPT Astra».