Проверенное машиной доказательство OpenAI не совпало с печатным.
Трое математиков во вторник выложили статью о заявленном OpenAI результате по Навье-Стоксу. Они утверждают, что проверенное машиной доказательство на Lean не соответствует написанному доказательству разрушения потока. Они также доказывают, что точный перевод в Lean сложнее любой вычислимой задачи.
Почему это важноПроверка в Lean была ответом отрасли на вопрос, кто контролирует математику машин. Если проверяют не то, о чём заявили, этот ответ перестаёт работать.
▶ Видео по теме: Did AI Really Solve Navier–Stokes? Show Me The Proof!
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Nvidia выяснила, что один шаг обучения меняет лишь 1% модели.2026-10-07OpenAI выложил 722 математические статьи из одной подсказки.
2026-10-07Сайт задач Эрдёша перестал принимать доказательства.
2026-10-07Двадцать попыток на одной задаче отняли у лучшего агента треть очков.
2026-10-06Модель обучилась без метода, которым обучают весь ИИ.
2026-10-06