Математик Теренс Тао опубликовал эссе «MATHEMATICS IN THE AGE OF AI», в котором предлагает перестать спорить о том, насколько мощным станет ИИ в математике, и задуматься о том, что на самом деле является целью математического исследования, если решение задач перестаёт быть узким местом.

По мысли Тао, процесс математического открытия распадается на пять этапов: генерация доказательства → верификация → внятное изложение → принятие сообществом → канонизацияi (встраивание в учебники и стандартный аппарат области). ИИ пока берёт на себя только первые два — люди же остаются нужны для понимания, объяснения, публичных обсуждений и превращения решений в знание, которым можно пользоваться. Вывод Тао: математики не потеряют работу даже при полном обесценивании поиска решений — их роль просто сместится к тому, что раньше считалось менее престижным, но всегда было сутью науки.

• Эссе опубликовано на arxiv: https://arxiv.org/pdf/2608.16753
• Теренс Тао — австралиец, профессор UCLA, которого часто называют величайшим живущим математиком
• В 10 лет — бронза на международной математической олимпиаде (IMOi), в 13 — золото; до сих пор самый молодой золотой медалист в истории IMO
• PhD в Принстоне получил в 21 год, полным профессором UCLA стал в 24
• Известен доказательством вместе с Беном Грином теоремы о том, что среди простых чисел есть арифметические прогрессии любой наперёд заданной длины (метод переноса результатов с «плотных» множеств на разреженные)
• Один из авторов теории compressed sensingi — восстановления сигнала по числу измерений сильно меньше требуемого теоремой отсчётов; благодаря ей МРТ сканирует в разы быстрее
• Последнее время Тао занимается проектами на стыке ИИ и математики