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







