Справа не була у складній новій математиці. Принаймні не в цьому. Справа була в завзятості.
OpenAI представила рішення кон’єктури про дворазове покриття циклами одразу перед випуском своєї новітньої моделі, GPT-5.6 Sol. Своєчасність? Звісно, чистий маркетинг. Дія? Тиха революція у тому, як ми дивимося на штучний інтелект і те, що він може робити. Люди пережовували цю проблему понад півстоліття. GPT-5.6 вирішив її, отримавши одну конкретну інструкцію: не здавайся.
Це частина ширшої тенденції. Технологічні гіганти вкладають величезні кошти у чисту математику. Не тому, що їм важлива краса заради краси. А тому що математика – це остаточний контрольний показник. Вона доводить міркування. Принаймні машинну версію.
«Інструменти ІІ значно змінять математичні дослідження.»
- “Ного Алон”, математик з Прінстона, про прорив Sol. Алон назвав доказ напрочуд коротким. Що, якщо спитати мене, робить все ще смішніше.
Ось що вам потрібно знати. Теорія графів звучить абстрактно, навіть нудно. Граф – це просто точки (вершини) і лінії (ребра), що з’єднують їх. Інтернет? Це граф. Ваша соціальна мережа? Теж граф.
Ще в 1970-х роках математики припустили щось цікаве про ці форми. Вони думали, що майже кожен граф має двократне покриття циклами. Що це таке? Набір петель, які покривають всю структуру рівно двічі. Кожне ребро знаходиться всередині двох петель.
Легко уявити.
Довести? Ось тут минуло десятиліття.
Великі уми намагалися. Вони розібрали її для конкретних випадків. Вони були близькі. Але ж загальний доказ? Воно вислизало. Щоразу.
Минулої п’ятниці втрутився ІІ.
Рішення виявилося елегантним. Майже простим. ІІ показав, що граф можна покрити не більш як вісьмома петлями. Звісно, є технічні нюанси. Графи, які утримуються разом єдиними тонкими нитками (ребрами розрізів), не вважаються. Але для решти? Готово.
Ось тут поворот.
Доказ не використовував яскравих нових ідей. Жодних проривних теорій, народжених у кремнієвих мріях. Воно переробляло методи, які вже пробували. Методи, які ми викинули на сміття або залишили на полиці, бо нам стало нудно. Або страшно.
Вам ніколи не спадало на думку, що «складний» може просто означати «непопулярний»?
Ендрю Саутерленд із Массачусетського технологічного інституту так і думає. Він припускає, що репутація складності може бути пасткою. Студенти уникають її. Експерти переходять далі. Вона стає самоздійснюваним пророцтвом забуття. Коли у LLM немає его чи кар’єри, про яку потрібно турбуватися, він просто копає.
«Ми продовжимо бачити, нібито “складні” проблеми мають “прості” рішення.”
Саутерленд не здогадується наосліп. OpenAI опублікувала запит, використаний для вирішення цього завдання. Він розкриває втомлену, механічну роботу за помахом чарівної палички. Запит не був поезією. Це були будівельні риштування. Інструкції для шістдесяти чотирьох агентів спілкуватись один з одним паралельно. Перехресна перевірка. Зниження брехні та галюцинацій, які переслідують ці моделі.
Справжня хитрість? Директиви.
Вони не просто попросили відповіді. Вони сказали боту: * Витратьте щонайменше 8 годин. Не думайте про здачу.
Більшість із нас здалося б на другу годину. Або сказали б: Це неможливо.
Машина залишилася біля клавіатури. Вісім годин.
Виявляється, геній може бути просто витривалістю, якою ми надто втомилися, щоб дати. І тепер, коли ІІ тут, можливо, бібліотека відкритих проблем – це не фортеця. Це сад, де ми забули полити квіти.
