Математический прорыв OpenAI вызывает вопросы из-за расхождений в доказательстве

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