ИССЛЕДОВАНИЕ · RESEARCH · #1131
OpenAI заявляет о доказательстве задачи о существовании и гладкости уравнений Навье–Стокса
OpenAI заявила, что с помощью тысяч агентов создала 166‑страничное доказательство, которое, по её словам, решает задачу о существовании и гладкости уравнений Навье–Стокса; документ находится на рецензии, а эксперты выражают сомнения в прозрачности и человеко‑понятности результата. Математики отмечают, что доказательство было получено методом «грубой силы» с участием агентов, а не через традиционный объясняющий и ссылочный процесс, характерный для человеческих доказательств.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- OpenAI заявила, что с помощью тысяч агентов создала 166‑страничное доказательство, которое, по её словам, решает задачу о существовании и гладкости уравнений Навье–Стокса; документ находится на рецензии, а эксперты выражают сомнения в прозрачности и человеко‑понятности результата.
- Математики отмечают, что доказательство было получено методом «грубой силы» с участием агентов, а не через традиционный объясняющий и ссылочный процесс, характерный для человеческих доказательств.
- Если доказательство подтвердится, AI‑полученный результат по одной из ключевых задач Миллениума изменит практики открытия и верификации в фундаментальной математике и поставит вопрос о воспроизводимости, объяснимости и научных нормах.
ПОЧЕМУ ЭТО ВАЖНО
Если доказательство подтвердится, AI‑полученный результат по одной из ключевых задач Миллениума изменит практики открытия и верификации в фундаментальной математике и поставит вопрос о воспроизводимости, объяснимости и научных нормах.