OpenAI допустила ошибки при переводе математики в код для задачи Навье-Стокса

Компания OpenAI столкнулась с критикой после обнаружения несоответствий в своем математическом доказательстве для уравнений Навье-Стокса. Исследователи выяснили, что система некорректно перевела сложную математическую часть в программный код, создав две версии, которые полностью противоречат друг другу.

Выявленные расхождения ставят под серьезный удар общую надежность генеративных моделей при решении строгих академических и прикладных задач. Уравнения Навье-Стокса описывают движение жидкостей и газов, оставаясь одной из сложнейших нерешенных проблем математической физики, где любые логические или программные погрешности критически важны.

Эксперты отмечают, что подобные сбои подчеркивают ограничения современных языковых систем при работе со строгой формальной логикой. Даже при демонстрации формально правильного текста нейросети могут допускать фатальные ошибки в сопутствующих программных реализациях, что требует обязательной ручной верификации каждого этапа вычислений.

Обсуждение инцидента активно ведется на профильных площадках, включая дискуссию в Hacker News, где специалисты разбирают причины сбоя трансляции алгоритмов. Полученные данные могут заставить лаборатории пересмотреть подходы к автоматическому доказательству теорем и использованию ИИ в академических исследованиях.