Теренс Тао, профессор из UCLA и обладатель Медали Филдса, предупредил о том, что искусственный интеллект слишком быстро решает сложные математические задачи, опережая ученых в поиске новых интересных проблем. По его словам, пока математики пытаются понять и сформулировать перспективные вопросы, современные AI-системы уже находят их ответы, что может негативно сказаться на развитии науки.
Тао отметил, что хотя теоретически можно генерировать множество математических вопросов, лишь немногие из них действительно важны и способствуют прогрессу. Он предложил маркировать отдельные задачи как требующие «анализа», чтобы простое автоматическое решение без глубокого объяснения имело меньший вес.
Подъем вычислительных мощностей AI-компаний, таких как OpenAI и Anthropic, ускорил решение многолетних математических загадок. Так, в мае они вместе решили проблему единичного расстояния Эрдёша, неразрешенную около 80 лет. Позднее Anthropic подтвердил доказательство теоремы Ферма, а OpenAI — решил задачу, которую исследователь опубликовал всего на несколько часов раньше.
Тао опасается, что такая гонка за быстрыми ответами разрушает традиционные научные практики, когда исследование идет постепенно, с осмысленным подходом. По его мнению, запрет AI в математике невозможен, поэтому лучше отдавать предпочтение задачам с требованием подробного анализа, чтобы сохранить качество исследований и не потерять глубину понимания.