ТехноФан

ОреnАІ зробила несподіваний крок і відкрила доступ до результатів роботи своєї ще не випущеної ШІ-моделі. Компанія опублікувала 722 математичні роботи, серед яких є нові доведення, розв’язання відкритих задач та спростування відомих математичних припущень.
Усі матеріали розмістили на GіtНub. Їх розділили на 372 окремі сімейства за напрямами математики. Разом із самими роботами доступні РDF-файли, вихідні матеріали, інформація для цитування, а також частина формалізованих доведень мовою Lеаn. Це дозволяє комп’ютеру перевіряти правильність таких доказів.
Втім, ОреnАІ одразу попереджає: не всі результати вже перевірені. Частина опублікованих матеріалів поки не має формалізованого доказу, тому в них можуть бути помилки. Компанія обіцяє виправляти неточності та зберігати попередні версії робіт, щоб можна було простежити історію змін.
ШІ отримав тисячі складних задач
Для експерименту моделі дали близько 4000 відкритих математичних задач. У середньому на створення одного результату витрачали обчислювальні ресурси, еквівалентні приблизно трьом годинам роботи режиму Тhіnkіng у СhаtGРТ Рrо.
ОреnАІ також опублікувала десять скорочених описів того, як модель підходила до розв’язання окремих задач.
При цьому назву самої системи компанія поки тримає в секреті. ОреnАІ називає її внутрішньою передовою моделлю та заявляє, що працює над її безпечним випуском.
Особливої уваги ситуації додає ще одна заява ОреnАІ. У вересні компанія повідомила, що її штучний інтелект знайшов розв’язання проблеми існування та гладкості рівнянь Нав’є – Стокса – однієї із семи так званих задач тисячоліття.
Щоправда, це доведення поки не можна вважати остаточно підтвердженим: його ще має перевірити математична спільнота.
І саме тут починається найцікавіше. Після заяви ОреnАІ частина математиків розкритикувала компанію через можливе порушення наукових норм. ОреnАІ почала працювати над задачею після появи чуток про прогрес інших дослідників, які ще не встигли опублікувати власні результати.
Фактично штучний інтелект уже претендує на роль не просто помічника для математиків, а самостійного інструменту для пошуку нових доказів і розв’язання задач, над якими люди можуть працювати роками. Водночас питання залишається відкритим: наскільки надійними будуть такі відкриття та чи зможе наукова спільнота повністю довіряти результатам, створеним ШІ.
Сообщение ОреnАІ приголомшила математиків: секретний ШІ створив 722 наукові роботи появились сначала на ТехноФан.