Тao Чжэсян предупреждает о кризисе ценностей в математике, избыточности доказательств, генерируемых ИИ

Китайско-американский математик Тao Чжэсян на Международном конгрессе математиков (ICM) заявил, что математика вступает в основополагающий кризис, связанный с ценностями и методами исследования. Он отметил, что ИИ вскоре сможет выполнять множество задач уровня исследований по разумной цене. В последнем тесте четыре системы ИИ столкнулись с 10 новыми исследовательскими вопросами, и по крайней мере одна из систем смогла решить 7 из них на уровне, пригодном для публикации, при этом стоимость вычислений по каждой задаче составила от 10 до 1000 долларов. Тao Чжэсян считает, что математика перейдет от "недостатка доказательств" к "избыточности доказательств", и доказательства, сгенерированные ИИ, будут накапливаться в ожидании проверки. После проверки результаты все равно должны быть четко объяснены, рецензированы и упорядочены человеком. Действительно дефицитным станет умение оценивать важность результатов и преобразовывать доказательства в знания, понятные людям. Он подчеркнул, что если автор не может четко и точно объяснить свои результаты, даже если доказательство было сгенерировано ИИ и прошло проверку, его не следует публиковать.