OpenAI заявила о решении задачи Навье—Стокса с помощью ИИ
3@ru3dnewsмедиа / агрегатор
1 месOpenAI сообщила о построении примера разрушения гладкости решений уравнений Навье—Стокса с помощью 10 тысяч ИИ-агентов, что вызвало споры в научном сообществе.
Это потенциальный прорыв в фундаментальной математике, достигнутый с помощью ИИ.
- ИИ впервые претендует на решение одной из сложнейших математических проблем современности.
- Использование формальной верификации в Lean показывает новый стандарт доказательств для машинного обучения.
- Результат вызвал дискуссию о границах применимости ИИ в теоретической науке и этике использования данных.
OpenAI заявила, что её ИИ решил одну из Задач тысячелетия
OpenAI заявила, что её ИИ построил пример разрушения гладкости решений трёхмерных уравнений Навье—Стокса: скорость вихря становится бесконечной за конечное время, хотя энергия остаётся конечной. Над задачей якобы работали около 10 тысяч ИИ-агентов, а доказательство затем проверили в Lean. Но результат использует внешний силовой член, поэтому математики спорят, соответствует ли он исходной задаче тысячелетия. Дополнительный скандал вызвали подозрения, что OpenAI могла использовать неопубликованные наработки исследователей, однако компания это отрицает. Окончательное решение примут после независимой проверки доказательства, а от миллиона долларов OpenAI отказывается.
#openai #ии #математика
📎Подробнее
🔖 3DNews в TG | MAX | VK
КонтекстAI
Уравнения Навье—Стокса описывают движение жидкостей и газов. Задача о существовании и гладкости решений этих уравнений в трехмерном пространстве является одной из семи «задач тысячелетия», за решение которой Математический институт Клэя назначил премию в 1 миллион долларов.
Кратко (AI)
OpenAI объявила, что её система из 10 тысяч ИИ-агентов нашла пример разрушения гладкости решений трёхмерных уравнений Навье—Стокса. Результат был верифицирован в системе Lean, однако математики ставят под сомнение его соответствие оригинальной задаче тысячелетия из-за использования внешнего силового члена.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖