ШІ допоміг спростувати 50-річну гіпотезу

Іноді найглибші математичні проблеми звучать майже як дитяча гра: взяти набір чисел, скласти їх попарно, перемножити попарно й порахувати, скільки різних результатів вийде. Але саме така проста на вигляд ідея десятиліттями ховала одну з найвідоміших пасток комбінаторики, доки новий препринт про хибність sum-product conjecture для дійсних чисел не показав, що давня інтуїція математиків була неповною.

Що відомо коротко

• Дослідження провели Томас Блум, Вілл Савін, Карл Шильдкраут і Дмитро Железов.
• Робота з’явилася як препринт на arXiv у травні 2026 року і стосується класичної задачі Ердеша–Семереді.
• Автори досліджували, як швидко зростає кількість різних сум і добутків у великих наборах чисел.
• Вони побудували нескінченно багато контрприкладів серед дійсних чисел.
• Головний висновок: гіпотеза суми-добутку над дійсними числами є хибною, хоча споріднені питання для цілих чисел залишаються тоншими.

Що це за задача і чому вона здавалася майже очевидною

Уявімо набір чисел: 1, 2, 3, 4, 5. Якщо складати їх попарно, багато результатів повторюються. Наприклад, 1 + 5 і 2 + 4 дають те саме число — 6. Такий набір має сильну додаткову структуру, бо числа стоять рівномірно, як поділки на лінійці.

Тепер візьмімо інший набір: 1, 2, 4, 8, 16. Тут уже не додавання, а множення поводиться передбачуваніше, бо числа утворюють геометричну прогресію. У такому разі структура радше множинна.

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

Це називають явищем суми-добутку, і воно давно стало важливою частиною адитивної комбінаторики. Простими словами, математики очікували, що додавання і множення не дозволять одному набору чисел бути «занадто зручним» для обох операцій одразу.

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

Як саме математики знайшли контрприклад

Формально дослідники беруть скінченну множину A. Потім утворюють дві нові множини:

A + A — усі можливі суми двох елементів із A.

AA — усі можливі добутки двох елементів із A.

Якщо в наборі n чисел, то попарних сум або добутків потенційно може бути близько n². Гіпотеза Ердеша–Семереді передбачала, що принаймні одна з цих двох множин має бути майже такою великою.

Але автори нової роботи побудували такі множини дійсних чисел, для яких і множина сум, і множина добутків ростуть повільніше, ніж очікувалося. У самій статті дослідники пишуть: «Ми спростовуємо sum-product conjecture для дійсних чисел», пояснюючи, що їхні приклади використовують алгебраїчні цілі числа у числових полях великого степеня.

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

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

Де тут роль штучного інтелекту

Найважливіше уточнення: нову задачу не «розв’язав сам ШІ». Контрприклад до гіпотези суми-добутку побудували люди. Але поштовхом стала інша математична історія — прорив OpenAI у задачі Ердеша про одиничні відстані.

У травні 2026 року OpenAI повідомила, що її reasoning-модель знайшла нову конструкцію для відомої задачі з дискретної геометрії, де потрібно зрозуміти, скільки пар точок на площині можуть бути рівно на відстані 1 одна від одної. Компанія в матеріалі про спростування геометричної гіпотези моделлю OpenAI зазначила, що доказ перевірила група зовнішніх математиків.

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

На Cikavosti вже виходив матеріал про найбільший прорив ШІ у математиці, де йшлося про 80-річну задачу Ердеша. Тепер ця історія отримала продовження: ідеї, народжені в одному математичному контексті, допомогли людям атакувати зовсім іншу проблему.

У коментарях до роботи OpenAI математиків особливо вразило те, що модель вийшла за межі звичної геометричної інтуїції. В огляді Remarks on the disproof of the unit distance conjecture автори описують AI-знайдений доказ як людськи перевірену версію контрприкладу до гіпотези про одиничні відстані.

«Доказ спирається на ідеї, які, принаймні заднім числом, можна пов’язати з роботами Елленберга–Венкатеша, Голода–Шафаревича та Хажира–Майра–Рамакрішни», — зазначають автори огляду, підкреслюючи, що за «магією ШІ» стоїть глибока людська математика.

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

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

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

Саме це сталося тут. Дійсні числа здавалися достатньо «жорстким» середовищем, де додавання і множення не дозволять обдурити гіпотезу. Але алгебраїчні конструкції показали, що реальність тонша.

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

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

Механізм відкриття: чому алгебраїчні числа поводяться так дивно

Щоб зрозуміти механізм, варто уявити числа як об’єкти з «прихованими координатами». Звичайне число на прямій має одну видиму позицію. Але алгебраїчне число може бути коренем складного рівняння, а отже пов’язане з багатьма іншими числами, які утворюють цілу систему.

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

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

Тут і проявляється ефект масштабу. Для малих наборів можна знайти багато дивних прикладів, але справжня гіпотеза стосується того, що відбувається, коли кількість елементів зростає без межі. Новий результат показує, що контрприклади не є випадковими курйозами. Їх можна будувати як нескінченну сім’ю.

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

Ширший контекст: від абстрактних чисел до майбутньої науки

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

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

Недарма у матеріалі Cikavosti про застосування математики в повсякденному житті наголошується, що математичні моделі лежать в основі пошуку, шифрування, машинного навчання і сучасних цифрових систем.

Новий результат не означає, що завтра з’явиться новий смартфон або ліки завдяки гіпотезі Ердеша–Семереді. Але він показує, як змінюється саме виробництво знання. Людина і ШІ разом можуть знаходити ходи, які окремо були б майже невидимими.

Цікаві факти

• Пол Ердеш був одним із найпродуктивніших математиків XX століття і мав понад 1500 наукових публікацій.
• Sum-product problem поєднує дві базові арифметичні операції — додавання і множення — але веде до дуже складної комбінаторики.
• Задача про одиничні відстані Ердеша була сформульована ще у 1946 році.
• Новий контрприклад до гіпотези суми-добутку працює саме над дійсними числами, а не обов’язково закриває всі споріднені формулювання.
• У сучасній математиці контрприклад іноді важливіший за підтвердження, бо він показує, де саме інтуїція дала збій.
• ШІ в цій історії виступив не просто калькулятором, а джерелом несподіваної математичної стратегії.

Що це означає

Практичне значення відкриття полягає не в негайному застосуванні, а в зміні карти фундаментальної математики. Дослідники тепер мають новий клас прикладів, які показують, як алгебраїчна структура може контролювати одночасно додавання і множення.

Для математики це означає потребу уточнити старі гіпотези. Можливо, правильна версія sum-product conjecture має враховувати різницю між цілими, раціональними, дійсними та іншими типами чисел. Можливо, потрібні нові обмеження, які виключатимуть такі алгебраїчні конструкції.

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

FAQ

Що таке гіпотеза суми-добутку простими словами?

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

Чи справді ШІ сам розв’язав цю задачу?

Ні. Нову роботу про гіпотезу суми-добутку написали математики. Але ідея, що стала важливою для прориву, була натхненна попереднім результатом OpenAI у задачі про одиничні відстані.

Чому контрприклад такий важливий?

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

Чи має це практичне застосування?

Безпосередньо — поки що ні. Але такі результати впливають на теорію чисел, комбінаторику, алгоритми й наше розуміння того, як ШІ може допомагати у фундаментальній науці.

Висновок

Найдивовижніше в цій історії не те, що ШІ «переміг» математиків. Навпаки: він допоміг їм побачити двері там, де десятиліттями бачили стіну.

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