Штучний інтелект здійснив потенційно історичний прорив у математиці. OpenAI представила розв’язок проблеми рівнянь Нав’є-Стокса – однієї із семи знаменитих задач тисячоліття. На пошук результату системі з приблизно 10 тисяч ШІ-агентів знадобилося близько 88 годин. Це ще один приклад стрімкого розвитку технології, якою вже користуються майже три чверті чехів.
ШІ взявся за одну із задач тисячоліття
Рівняння Нав’є-Стокса описують рух рідин і газів. Їх використовують, наприклад, для моделювання потоку повітря навколо літака, руху води у трубах або атмосферних процесів.
Сама математична проблема значно складніша. Вчені десятиліттями намагалися встановити, чи може спочатку плавний тривимірний потік за певних умов утворити сингулярність – точку, в якій деякі математичні величини необмежено зростають.
Це одна із семи задач тисячоліття, визначених Математичним інститутом Клея. За офіційне розв’язання кожної передбачена премія $1 млн.
OpenAI стверджує, що її система знайшла конструкцію, за якої плавний початковий стан зрештою призводить до сингулярності. Важлива деталь: йдеться про варіант задачі, де на рідину діє плавна зовнішня сила, що допускається офіційними умовами проблеми.
Компанія образно описує отриману модель як вихор, який закручується всередину та дедалі сильніше розтягується.
ШІ дедалі активніше використовують і в науці Чехії. Наприклад, чеські дослідники вже застосовують штучний інтелект для створення нових технологічних рішень.
10 тисяч ШІ-агентів працювали 88 годин
Розв’язок не був отриманий звичайним чат-ботом після одного запиту. За інформацією OpenAI, одночасно працювали близько 10 тисяч спеціалізованих ШІ-агентів.
Окремі групи перевіряли різні математичні підходи, обмінювалися перспективними ідеями, а для їхнього об’єднання використовувався Codex.
Етап пошуку тривав приблизно 88 годин. За цей час агенти обмінялися близько 2,7 млн повідомлень та згенерували приблизно 130 млрд вихідних токенів.
Після цього доказ формалізували у системі Lean. Вона дозволяє машинно перевірити, чи відповідає кожен крок математичного доведення чітко визначеним правилам. Ця перевірка зайняла ще близько 17 годин.
Такий підхід демонструє, наскільки швидко змінюються можливості ШІ. У Чехії експерти вже прогнозують, які професії першими відчують вплив нової технології.
Чи справді математичну проблему вже розв’язано
Поки говорити про остаточне закриття задачі Нав’є-Стокса зарано. OpenAI 8 вересня оприлюднила результат як запропонований ШІ розв’язок, включно з формальним доказом у Lean.
Тепер роботу має незалежно оцінити математична спільнота. Саме зовнішня перевірка покаже, чи справді доказ відповідає всім вимогам однієї із задач тисячоліття та чи може претендувати на офіційне визнання.
Тому твердження, що ШІ вже остаточно розв’язав проблему, наразі було б передчасним. Якщо ж доказ витримає незалежну експертизу, результат стане одним із найпомітніших прикладів використання штучного інтелекту у фундаментальній науці.
