OpenAI представила доказательства по задачам Какеи, гипотезе о экспоненциальном времени и существованию теорий Янга — Миллса

Компания OpenAI объявила о создании искусственным интеллектом строгих математических доказательств для трех сложных проблем: локального сглаживания (решающего гипотезы Какеи и Штейна), опровержения гипотезы о экспоненциальном времени в теории сложности вычислений и доказательств существования квантовых теорий поля, включая теорию Янга — Миллса. Результаты сопровождаются формализацией в системе Lean и проходят независимую проверку академическим сообществом.