Одна з семи найскладніших математичних задач сучасності отримала потенційний розв’язок, створений за допомогою систем штучного інтелекту. Лабораторія OpenAI оприлюднила матеріал, у якому описується згенероване алгоритмами рішення для проблеми існування та гладкості розв’язків рівнянь Нав’є-Стокса (Navier-Stokes existence and smoothness problem). Ця фундаментальна задача тривалий час залишалася викликом для світової наукової спільноти. Одночасно про власні успіхи в математичних дослідженнях та автоматизованій генерації формальних доведень повідомила компанія Anthropic.
Заявлений розв’язок для рівнянь Нав’є-Стокса від OpenAI
За інформацією OpenAI, розроблена система штучного інтелекту змогла сформулювати математичний розв’язок для фундаментальної гідродинамічної проблеми. Модель рівнянь Нав’є-Стокса описує рух в’язких рідин та газів, а питання існування та гладкості її розв’язків є однією з ключових теоретичних задач теоретичної фізики й математичного аналізу. Опублікована робота описує алгоритмічний підхід до вирішення цієї проблеми, що претендує на закриття довготривалого наукового питання.
Проблеми тисячоліття як новий орієнтир для AI
Проблема існування та гладкості рівнянь Нав’є-Стокса входить до офіційного переліку семи проблем тисячоліття (Millennium Prize Problems). Залучення штучного інтелекту до роботи з подібними фундаментальними викликами демонструє якісний перехід від використання алгоритмів для простих обчислень до вирішення високоуровневих абстрактних задач у теоретичній науці.
Дослідження Anthropic у сфері формальних доведень
Паралельно з публікацією OpenAI про власні результати заявила компанія Anthropic. Розробники повідомили про окремий прогрес у галузі дослідницької математики. Основну увагу наукова група зосередила на автоматизованій генерації формальних доведень, що є важливим напрямом для створення систем перевірки математичних гіпотез і побудови суворих логічних висновків.
Практичні висновки для наукової галузі
Використання штучного інтелекту в теоретичних дисциплінах відкриває нові можливості для автоматизації складних досліджень. Останні досягнення OpenAI та Anthropic свідчать про зростаючу роль машинного навчання як у вирішенні класичних математичних проблем, так і у створенні інструментів для формальної перевірки нових наукових теорій.
Дата публікації джерела: 10.09.2026 16:46.
Джерело: campustechnology.com
