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