Лауреат Филдсовской премии 2026 года Джон Пэрдон: ИИ теперь понимает и доказывает сложные математические теоремы

Джон Пэрдон отмечает, что искусственный интеллект научился анализировать самые запутанные математические доказательства, выявлять тонкие ошибки и доказывать нетривиальные результаты. По его словам, за последний год прогресс в этой области стал настолько значительным, что он называет его мировым прорывом для математики.