OpenAI зробила несподіваний крок і відкрила доступ до результатів роботи своєї ще не випущеної ШІ-моделі. Компанія опублікувала 722 математичні роботи, серед яких є нові доведення, розв’язання відкритих задач та спростування відомих математичних припущень.
Усі матеріали розмістили на GitHub. Їх розділили на 372 окремі сімейства за напрямами математики. Разом із самими роботами доступні PDF-файли, вихідні матеріали, інформація для цитування, а також частина формалізованих доведень мовою Lean. Це дозволяє комп’ютеру перевіряти правильність таких доказів.
Втім, OpenAI одразу попереджає: не всі результати вже перевірені. Частина опублікованих матеріалів поки не має формалізованого доказу, тому в них можуть бути помилки. Компанія обіцяє виправляти неточності та зберігати попередні версії робіт, щоб можна було простежити історію змін.
ШІ отримав тисячі складних задач
Для експерименту моделі дали близько 4000 відкритих математичних задач. У середньому на створення одного результату витрачали обчислювальні ресурси, еквівалентні приблизно трьом годинам роботи режиму Thinking у ChatGPT Pro.
OpenAI також опублікувала десять скорочених описів того, як модель підходила до розв’язання окремих задач.
При цьому назву самої системи компанія поки тримає в секреті. OpenAI називає її внутрішньою передовою моделлю та заявляє, що працює над її безпечним випуском.
Особливої уваги ситуації додає ще одна заява OpenAI. У вересні компанія повідомила, що її штучний інтелект знайшов розв’язання проблеми існування та гладкості рівнянь Нав’є – Стокса – однієї із семи так званих задач тисячоліття.
Щоправда, це доведення поки не можна вважати остаточно підтвердженим: його ще має перевірити математична спільнота.
І саме тут починається найцікавіше. Після заяви OpenAI частина математиків розкритикувала компанію через можливе порушення наукових норм. OpenAI почала працювати над задачею після появи чуток про прогрес інших дослідників, які ще не встигли опублікувати власні результати.
Фактично штучний інтелект уже претендує на роль не просто помічника для математиків, а самостійного інструменту для пошуку нових доказів і розв’язання задач, над якими люди можуть працювати роками. Водночас питання залишається відкритим: наскільки надійними будуть такі відкриття та чи зможе наукова спільнота повністю довіряти результатам, створеним ШІ.
Сообщение OpenAI приголомшила математиків: секретний ШІ створив 722 наукові роботи появились сначала на ТехноФан.
