Одна из самых мощных моделей Anthropic, Claude Fable 5, построила доказательство математической гипотезы, которую специалисты по квантовой оптимизации не могли доказать с 2014 года. Результат описан в препринте исследователей из Гарварда и MIT — Ури Кола, Маора Бен-Шахара, Кфира Сулимани и Дирка Энглунда. Главное отличие от прошлых громких заявлений в духе «ИИ решил математику»: корректность доказательства проверяла не комиссия рецензентов, а программа — система формальной верификации Lean 4, которая принимает результат, только если каждый его шаг логически безупречен.
Читать далее
Источник: habr.com