Модель находит баг в криптографии, а криптограф узнаёт от неё новую математику

Статья посвящена использованию AI в научных исследованиях.
В феврале 2026 года Google опубликовал препринт на 151 страницу о возможностях AI.
В препринте представлены исследования, в которых AI помогает исследователям решать сложные задачи.
В криптографии AI используется для поиска багов в доказательствах безопасности.
В вычислительной геометрии AI помогает находить новые математические связи и доказательства.
В теоретической информатике AI помогает решать сложные задачи и находить новые подходы.
Авторы статьи подчеркивают необходимость верификации результатов AI и указывают на ограничения AI.
Вопрос о том, где заканчивается «написание статьи с помощью AI» и начинается «написание статьи человеком», остается открытым.