ИИ от OpenAI доказал гипотезу локального сглаживания Согге 1991 года для всех измерений
OpenAI сообщила, что её ИИ доказал гипотезу локального сглаживания Кристофера Согге 1991 года для всех измерений. Доказательство сгенерировано 18 октября 2026, формализовано в Lean и опубликовано на GitHub.
Читать далее →