Сенсационный математический прорыв от OpenAI, казалось бы, спасший всех от вечных мучен...
Сенсационный математический прорыв от OpenAI, казалось бы, спасший всех от вечных мучений с уравнениями Навье — Стокса, начал вызывать подозрения. Учёные, люди въедливые и дотошные, решили сравнить опубликованное доказательство с его алгоритмической версией на Lean. И что бы вы думали? Нашли расхождения! В нескольких критических местах машинный вариант выдаёт утверждения послабее. Пока это не конец света и не полное опровержение, но почва для сомнений знатно удобрена. Как теперь спать спокойно, зная, что даже ИИ может подвести? #Технологии
1 просмотров