80 хвилин проти 60 років: як ШІ прискорив рішення гіпотези про примітивні множини Ердеша

Складна математична гіпотеза, що залишалася невирішеною понад півстоліття, отримала доказ завдяки використанню штучного інтелекту. Ключовий прорив полягав не вобчислювальній силі, а у виявленні нетривіального підходу: ChatGPT допоміг виявити зв’язок із математичним методом, який раніше не застосовувався до цього завдання. Після того, як було знайдено правильний вектор міркувань, системі знадобилося всього близько 80 хвилин, щоб побудувати повноцінний доказ.

У чому полягала проблема

Йдеться про одну з гіпотез Пала Ердеша, присвячену так званим примітивним множинам – наборам натуральних чисел, в яких жоден елемент не ділиться на інший. Незважаючи на простоту формулювання, такі структури мають складну внутрішню логіку.

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

Як було знайдено новий підхід

Ключову роль відіграв нестандартний формат взаємодії з ШІ. 23-річний Ліам Прайс використав систему не як інструмент для розрахунків, а як партнера з пошуку ідей.

Замість запиту «готового рішення» Прайс ставив напрямок — шукати несподівані, нетривіальні зв’язки та виходити за межі звичних методів. У процесі діалогу відсівалися невдалі гіпотези, доки знайдено підхід, що дозволив по-новому поглянути завдання. Після цього ШІ зміг досить швидко сформувати логічно цілісний доказ.

Оцінка математики

Результат викликав інтерес у професійної спільноти. До аналізу підключилися провідні вчені, включаючи Теренса Тао. За їхньою оцінкою, основа рішення спирається на математичний інструмент, давно відомий у суміжних областях, але раніше не застосовувався до цієї проблеми.

При цьому вихідний текст доказу, отриманий від ШІ, виявився складним для сприйняття і вимагав серйозного доопрацювання. Фахівці переробили його, надавши строгу форму та чітку структуру, зберігши при цьому ключову ідею.

Чому це важливо для науки

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

У перспективі це змінює сам підхід до науки: важливим стає не тільки обсяг знань, а й уміння формулювати завдання, працювати з ШІ та знаходити нестандартні рішення.