Доказ, створений штучним інтелектом і оголошений на початку цього місяця в рамках серії з 377 математичних результатів, отриманих за допомогою ШІ, перемагає експертів-людей, які витратили останні два тижні на його розбирання. 19 жовтня журнал Quanta Magazine повідомив, що теоретики чисел наразі розпакували згенерований ШІ доказ гіпотези квазіРімана — слабшої версії гіпотези Рімана, можливо, найбільшого відкритого питання в математиці — і їхній вердикт надзвичайно рішучий.

Джаред Дюкер Ліхтман зі Стенфордського університету назвав це «найзначнішим досягненням штучного інтелекту для математики на сьогоднішній день, з великим відривом». Максим Радзивілл з Нью-Йоркського університету, чия власна робота підкріплює деякі докази, описав наслідки як «приголомшливі». For more context on this story, see our ongoing more AI stories.

Що стверджує гіпотеза Квазі-Рімана

Гіпотеза Рімана була відкритою вже більше 160 років. Це стосується дзета-функції Рімана та розташування її нетривіальних нулів і тісно пов’язано з тим, як прості числа розподіляються між цілими числами. Оскільки прості числа є будівельними блоками арифметики, доказ змінить величезні області теорії чисел.

Ця гіпотеза є однією з семи проблем Премії тисячоліття, названих Інститутом математики Клея, і це була єдина проблема, перенесена зі знаменитого списку 23 проблем Девіда Гільберта, оголошеного століттям раніше.

Технічний скелет, як викладає Quanta, складався крок за кроком поколіннями. У 1859 році Ріман показав, що нетривіальні нулі дзета-функції визначають, як проріджують прості числа вздовж числової прямої, і довів, що вони можуть знаходитися лише всередині вертикальної смуги, де дійсна частина вхідних даних лежить між нулем і одиницею. У 1896 році два математики незалежно один від одного показали, що на правому краю смужки немає нулів — результат, достатньо сильний, щоб довести теорему про прості числа. Сама гіпотеза говорить, що всі нетривіальні нулі сидять точно на середній лінії смужки, де дійсна частина дорівнює половині. Тривіальні нулі при від'ємних парних числах вже повністю зрозумілі. Понад 160 років зусиль звузили та дослідили цю смугу, жодного разу не закріпивши нулі.

Гіпотеза квазі-Рімана, або квазі-RH, є суто слабшим твердженням. Незважаючи на це, його наслідки сягають майже настільки далеко. «У певному сенсі переважна більшість наслідків РГ вже є результатом квазі-РГ», — сказав Радзивілл Quanta.

Від оголошення до перевірки

Результати вперше з’явилися 6 жовтня, коли OpenAI оголосила про 377 математичних результатів, отриманих за допомогою своїх систем ШІ. Серед професійних математиків це оголошення спочатку сприйняли скептицизм — системи штучного інтелекту раніше створювали заявлені докази, які зазнавали краху під пильною увагою експертів, а перевірка вже давно була вузьким місцем, що відокремлювало математику, згенеровану штучним інтелектом, від прийнятої математики.

Відповідно до звіту Quanta, цей доказ інший: на відміну від інших останніх доказів ШІ, цей був розпакований експертами-людьми. Теоретики чисел, у тому числі Радзивілл, Олександр Данн з Технологічного інституту Джорджії та інші, працювали над аргументом після оголошення, перевіряючи його кроки та розміщуючи його в рамках наявних знань.

Перевірки витримали. «Доказ — це дивовижний синтез добре відомих ідей», — сказав Данн, який разом із Радзівілом був піонером техніки, на якій частково ґрунтується результат.

Старі ідеї, приховані зв'язки

Мабуть, найбільш вражаючим аспектом доказу, як сказали Quanta математики, є те, що воно не вимагає. Всупереч очікуванням, що вирішення навіть ослабленої форми гіпотези Рімана потребуватиме принципово нової техніки, підготовлений штучним інтелектом доказ не представив нових концепцій. Натомість він виявив приховані зв’язки між усталеними зв’язками, поєднавши техніки так, як ніхто не створив.

Ця закономірність — новизна через несподіваний синтез, а не через нову теорію — з’являється як ознака математичних відкриттів за допомогою штучного інтелекту, і це спонукає дослідників переглянути, де машинний внесок у математику, швидше за все, прибуде першим.

Чому це важливо для досліджень ШІ

Перевірений результат є важливою віхою для штучного інтелекту в математиці, галузі, яка швидко розвивається завдяки вдосконаленню моделей міркування. Оголошення OpenAI від 6 жовтня, яке ми висвітлювали, коли Інститут перспективних досліджень підняв питання щодо пакету результатів, було найбільшою окремою претензією математики, отриманої за допомогою ШІ, на сьогодні. Доказ квазі-RH є першим результатом із цієї партії, який отримав детальне експертне прочитання, і він зберігся.

Для лабораторій штучного інтелекту цей епізод демонструє робочий процес, який може стати стандартним: моделі виробляють докази кандидатів у масштабі, а експерти-люди сортують, перевіряють і сприймають важливі результати. Для математиків безпосередній наслідок є вужчим, але реальним — набором наслідків гіпотези Рімана, для виконання якого більше не потрібна повна гіпотеза.

Quanta зазначає, що математики лише починають працювати над тим, що означає доказ для галузі. Як сказав Радзивілл, наслідки «приголомшливі» — прикметник, який рідко додається до результату, який не відповідає повній гіпотезі.

Цей епізод також встановлює орієнтир для майбутніх претензій. Будь-яка лабораторія штучного інтелекту, яка оголошує про математичні відкриття, тепер буде порівнюватися з квазі-RH: заявленим результатом, який перевірено, підтверджено та прийнято експертами, які найкраще спроможні його спростувати.

Ніщо з цього не підтверджує саму гіпотезу Рімана. Повна гіпотеза залишається відкритою, а квазі-RH є строго слабшим. Але вперше система штучного інтелекту створила доказ на передовій аналітичної теорії чисел, який розкрили та схвалили провідні спеціалісти в цій галузі — факт, який може сказати про майбутнє математичних досліджень не менше, ніж сама теорема.

Ця стаття заснована на звіті Quanta Magazine, опублікованому 19 жовтня 2026 року.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →