OpenAI допустила ошибки при переводе доказательства задачи Навье — Стокса в код
Компьютерра ·
Источник: Компьютерра - Журнал о науке и технологиях Математики обнаружили, что текстовое доказательство, опубликованное OpenAI для задачи Навье — Стокса, не полностью совпадает с его компьютерной формализацией на языке Lean. Это не доказывает, что само решение неверно, но ставит вопрос о том, насколько надежно ИИ переводит математические рассуждения в код для автоматической проверки. Разница оказалась в одном из условий: в текстовом доказательстве определенная […] Полная версия статьи: OpenAI допустила ошибки при переводе доказательства задачи Навье — Стокса в код
Источник: Компьютерра - Журнал о науке и технологиях Математики обнаружили, что текстовое доказательство, опубликованное OpenAI для задачи Навье — Стокса, не полностью совпадает с его компьютерной формализацией на языке Lean. Это не доказывает, что само решение неверно, но ставит вопрос о том, насколько надежно ИИ переводит математические рассуждения в код для автоматической проверки. Разница оказалась в одном из условий: в текстовом доказательстве определенная […] Полная версия статьи: OpenAI допустила ошибки при переводе доказательства задачи Навье — Стокса в код