Математик в течение 24 часов опроверг заявление OpenAI о прорыве: «ИИ доказал каждое предложение, но это уже не про исходную гипотезу»
Через два дня после того, как OpenAI объявила, что её модель искусственного интеллекта нового поколения решила десять задач мирового уровня, включая опровержение гипотезы жёсткости Конна, математик-человек опубликовал статью, утверждающую, что контрпример ИИ недействителен. Дж. Л. Нильсен из Университета Канзаса проследил за 37 000 строками кода Lean 4, созданного OpenAI, и обнаружил два независимых пути ошибок, показав, что конструкция ИИ на самом деле не удовлетворяла условиям гипотезы. Этот инцидент подчёркивает сохраняющуюся необходимость в человеческой проверке результатов исследований ИИ.
OpenAI заявило, что их модель ИИ следующего поколения решила десять мировых математических задач, включая опровержение гипотезы жёсткости Конна. На следующий день математик-человек ответил статьёй, в которой утверждается, что контрпример ИИ недействителен. Автор, Дж. Л. Нильсен из Центра топологической физики Канзасского университета, проследила 37 000 строк кода Lean 4 от начала до конца,
Показать ещё ↓
Источник: QbitAI 量子位 —
оригинал