OpenAI доказала гипотезу Кэннона: ИИ справился с почти 40-летней проблемой геометрической теории групп, доказательство проверено в Lean
Среди математических рукописей, опубликованных OpenAI 6 октября, 31-страничная статья заявляет о полном доказательстве гипотезы Кэннона и сопровождается формальной проверкой в Lean.