Ретвит Дэна Робертса: Мы объявляем о трёх новых открытиях в математике, информатике и физике, касающихся гармонического анализа, теории сложности и …
OpenAI заявляет, что её внутренние модели получили три результата: доказательство гипотезы локального сглаживания во всех размерностях, которое также разрешает гипотезы Какея и ограничения Штейна; проверенное в Lean опровержение гипотезы экспоненциального времени; и строгое доказательство существования для теории Янга — Миллса и квантовой хромодинамики. Результаты формализованы в Lean и переданы внешним группам экспертов, включая физическую группу под руководством нобелевского лауреата Дэвида Гросса, для проверки и объяснения. Если результаты устоят, они закроют открытые десятилетиями проблемы, включая часть задачи Премии тысячелетия, и ознаменуют переход ИИ от помощника к создателю передовой математики и физики.
ИСТОЧНИКИ
- OpenAI2026-10-26 21:36