В решении задачи Навье—Стокса от OpenAI нашли как минимум две нестыковки. Математики обнаружили, что текстовое доказательство расходится с его версией в коде, предназначенной для проверки правильности решения.

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

Ученые в целом не в восторге от ИИ: Ассоциация человеческой математики призывает прекратить сотрудничество с OpenAI. Они называют их достижения демонстрацией силы, а не научной работой.