Проблема була впертою.
Вона лежала нерухомо і мовчала протягом десяти років. Два фізики з Риму — володар Нобелівської премії Джорджо Парізі та Франческо Зампоні — вирішили подивитись на неї ще раз. Не тому, що чекали на диво, а тому, що математика не давала їм спокою.
Вони називають це явище джамінгом (перевантаження системи).
Що таке джамінг?
Уявіть собою більярдний стіл.
Почніть запускати по ньому кулі. Спочатку вони вільно котяться, розкидані та незалежні. Додайте ще. Кулі починають стикатися. Упаковка стає щільнішою. Зрештою місця для руху не залишається. Уся система «заморожується». Жорстка. Невпорядкована. Замкнена.
Ось що таке Джамінг.
У 2014 році Паризі, Зампоні та їхня команда розробили математичний опис цього стану. Вони знайшли чисельні рішення, безумовно, але дві змінні — $a$ і $b$ — поводилися дивно. Їхня сума завжди дорівнювала одиниці.
$a + b = 1$
Чому?
Ніхто не знав. Тоді це мало теоретичного сенсу. Це їх «турбувало», як сказав Зампоні. Просто непокоїло нестиковка між тим, що показували цифри, і тим, що не вдавалося охопити суворим доказом.
Інші фізики також намагалися вирішити завдання. Маттьє В’яр із EPFL підійшов до неї зовсім з іншого боку і отримав ту саму суму. Той самий результат, інший шлях. Це мало на увазі, що існують приховані фізичні концепції, які пов’язують їх роботи, — концепції, які залишалися невловимими.
І файл пішов до архіву. На десять років.
Промпт
Паризі спала на думку думка. Можливо, людська інтуїція впирається у стіну, яку щось інше зможе перелізти.
Він звернувся до ІІ Claude від компанії Anthropic.
Підхід був простий, майже грубий у своїй прямоті. Паризі попросив модель відтворити результати 2014 року. Вона впоралася. Потім він попросив її довести суму.
$40$ промптів.
І все. Через сорок спроб Claude видав аналітичне рішення, яке витримало перевірку.
Зампоні вивчав результат у літаку, мружачи проти світла і розглядаючи файл LaTeX на кріслі, що рухається. “Коли я почав читати… стало відразу очевидно, що основна хитрість вірна”, – сказав він пізніше. Зміна перспективи відбулася миттєво. Ідея була міцною, навіть якщо початкова чернетка вимагала шліфування та виправлення шорсткостей.
Рішення був якимось далеким складним абстрактним конструктом, які потребують нових законів фізики. Воно ховалося усередині існуючих рівнянь. Весь цей час.
Це смиренно. Відповідь була дуже наочна, якщо у вас були правильні очі — або правильний алгоритм — щоб помітити закономірність.
Машина чи магія?
Зампоні міркує, чи міг чистий математик побачити це без машини. Мабуть, так. Але в цьому й суть. Вони фізики. Чи не фахівці з цих конкретних формальних структур. ІІ надав «миттєвий доступ» до набору навичок, яких у них не було.
Чи це була креативністю?
Або просто пошуком збігів по горах навчальних даних?
Не має значення, каже він. Вони не бачили шляхів. А ІІ – побачив.
Реальна зміна полягає не просто у вирішенні цього конкретного рівняння. Це нова модель співробітництва. ІІ тут не замінює людину; він перебирає рутину, дозволяючи людині зосередитися на концепції.
Зампоні вже перейшов до нової головоломки, пов’язаної із випадковими жорсткими гіперсферами. Генерація коду? Швидка. Оптимізована роботом. Але ідеї – концептуальна важка робота – все ще виходять від нього.
Людське керівництво залишається незамінним.
Принаймні поки що. Ми ще з’ясовуємо, хто та що вносить у цей стіл.
