Claude Fable 5 довів квантову гіпотезу 12-річної давнини, але людина з ChatGPT випередила його

Дослідники з Гарварду та MIT вирішили протестувати нову модель від Anthropic, Claude Fable 5, на головному болю, який фізики терпіли з 2014 року. Вони взялися за гіпотезу Фархи, Голдстоуна та Гутмана, яка описує, наскільки добре квантовий алгоритм QAOA може впорядкувати кільце вередливих мікроскопічних стрілок-спінів, що категорично відмовляються дивитися в один бік. Понад десять років вчені могли лише запускати симуляції, щоб припускати правильність формули, але ніхто не міг написати суворий доказ загального вигляду.

Замість того, щоб дозволити AI просто нагенерувати тексту й повірити йому на слово, команда підключила модель до Lean 4 — до смішного прискіпливої програми для формальної верифікації математики, яка відкидає будь-який крок, де є хоч натяк на логічну помилку. Науковці зробили найнудніше: переклали квантові визначення на мову коду, залишили гігантську діру там, де мав бути сам доказ, і дали моделі завдання закрити цей пробіл.

AI розгадав загадку, знайшовши приховану симетрію та запозичивши інструменти з абсолютно іншої сфери — квантової обробки сигналів. Модель циклічно писала код, отримувала купу помилок від компилятора Lean, переписувала все заново і врешті-решт видала бездоганний, перевірений машиною результат.

Але у Всесвіту чудове почуття гумору. Буквально за добу до публікації цього дослідження математик Кунал Марваха опублікував власне незалежне рішення тієї самої гіпотези. Він використав той самий математичний трюк із квантовою обробкою сигналів, хоча чесно зізнався, що працював не сам, а активно підглядав у підказки від ChatGPT 5.5 Pro та Claude Opus 4.8.

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

Джерело: arXiv