Стартап Physical Superintelligence (PSI) за допомогою ще не випущеної моделі компанії Anthropic довів гіпотезу Ааронсона–Амбайніса — одну з ключових відкритих проблем у квантовій теорії складності запитів, над якою науковці працювали майже два десятиліття.
Девід Туртуреан, нещодавній випускник Массачусетського технологічного інституту (MIT) і співробітник стартапу Physical Superintelligence (PSI), отримав ранній доступ до моделі Fable 5.2 від Anthropic і за її допомогою довів гіпотезу Ааронсона–Амбайніса — математичну проблему у сфері квантової теорії складності запитів, сформульовану близько 18 років тому. Туртуреан відклав вступ до магістратури MIT заради роботи в PSI.
Гіпотеза стосується здатності квантових комп'ютерів розв'язувати певні задачі швидше за класичні. Результат виявився заперечним: він закриває один із можливих шляхів, яким квантові комп'ютери могли б досягати високої швидкості на окремих типах задач. «Це негативний результат, який дає людям розуміння: добре, туди ми більше не дивимося», — пояснив Туртуреан.
Скотт Ааронсон, один із двох дослідників, які сформулювали гіпотезу, написав, що повністю не розуміє доведення, проте вважає його правильним — зокрема тому, що воно було автоформалізоване у Lean, мові програмування для математичних доведень, і перевірене групою провідних дослідників, яким PSI заздалегідь передав результат. Ааронсон описав свої відчуття як суміш задоволення, захвату, розчарування і втоми. «Доведення повної [гіпотези Ааронсона–Амбайніса] було однією з останніх відкритих проблем у квантовій теорії складності запитів, яку всі вважали принципово важливою», — написав він, зазначивши, що був здивований відсутністю цього результату серед нещодавніх математичних рішень, опублікованих OpenAI.
PSI був змушений тримати результат у таємниці, поки модель Anthropic не підійшла впритул до публічного випуску, і використав цей час, щоб поділитися рішенням із відповідними дослідниками. Джим Халворсон, професор Northeastern University і радник PSI, наголосив на важливості прозорості: «Як академічна спільнота, ми хотіли діяти правильно… Ми вирішили, що прозорість — це хороший шлях, і що варто звертатися до експертів». Наступного тижня він братиме участь у саміті в MIT, де провідні фізики обговорюватимуть відповідь на нові темпи наукового прогресу.
Бізнес-модель PSI побудована навколо використання спеціалізованих інструментів і так званих «harnesses» — систем, що дозволяють моделям глибоко й широко опрацьовувати конкретні проблеми. «Ефективна дослідницька система повинна мати багато компонентів, пов'язаних із harnesses, інструментами, системами пам'яті, симуляційною інфраструктурою», — сказав генеральний директор PSI Метт Пайнс. Наразі основний дохід компанії надходить від оптимізації дата-центрів — симуляції параметрів тепла, енергоспоживання, води та звуку. Стратегічна мета — перетворювати прориви в теоретичній фізиці на реальні технології.
Пайнс визнає, що ще кілька місяців тому переконати інвесторів у цьому було непросто: «Доводилося дещо напружуватись, щоб обґрунтувати цю умову — мовляв, довіртеся, невдовзі теоретична фізика стане переважно сферою машин. Ще не досягли, але рухаємося туди».
Утім застосування ШІ для наукових відкриттів поки що значно простіше там, де результати можна виразити у верифікованому коді, — зокрема в математиці та комп'ютерних науках. У менш формалізованих дисциплінах, таких як науки про живе або фізика, це виявляється складнішим. Стартап Discovered Materials нещодавно оголосив конкурс із призовим фондом 1 мільйон доларів для дослідників, які використовують ШІ для вивчення таких явищ, як надпровідність і розсіювання тепла.
«Зрештою, фізика відрізняється від математики, бо це реальний світ… природа голосує у ваших моделях реальності», — підкреслив Пайнс.
Туртуреан, зі свого боку, зізнався, що вперше роздрукував отримане від ШІ рішення і прочитав його, намагаючись зрозуміти, як представити його природніше для людини. «І це змусило мене усвідомити: боже мій, яка вага того, що ШІ здатний робити», — сказав він, додавши напівжартівливо: «Я цілком допускаю думку, що це може бути остання стаття, яку я коли-небудь опублікую».
