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