[Это гостевой пост Дианы Ниделл и Хейдена Шеффера – Т.] Системы искусственного интеллекта играют важную роль в математических открытиях, и несколько недавних препринтов описывают результаты, достигнутые с их помощью. Что делает эти результаты возможными, так это часто богатое партнерство между человеческим прозрением, опытом и предыдущей работой, сочетающееся с новыми возможностями ИИ [...]