формальная математика
SemantEq отсеяла ложные совпадения в математических доказательствах ИИ
Meta и NYU обучили ИИ отбирать «интересные» математические теоремы