OpenAI опубликовала заявленное ИИ-доказательство гипотезы Согге и Lean-версию

OpenAI опубликовала материалы по заявленному доказательству гипотезы Согге о локальном сглаживании для пространств любой размерности — вместе с текстом на естественном языке и формализацией в Lean. В публикации компании говорится, что этот результат, по версии OpenAI, также разрешает гипотезу Какеи и гипотезу Стейна об ограничении во всех размерностях.

Пока это скорее исследовательский релиз, чем закрытый научный итог. OpenAI прямо подаёт опубликованные материалы как основу для дальнейшего изучения сообществом, а независимого подтверждения корректности нового доказательства для всех размерностей на момент анонса компания не приводит. Также OpenAI не раскрыла, какая именно модель использовалась и можно ли воспроизвести такой пайплайн через API или другой публичный продукт.