Западные математики боятся, что ИИ сделает их глупее, пока Китай создаёт целый альянс по его внедрению

Два подхода к ИИ в математике

В западном математическом сообществе преобладает скептицизм. 25 лауреатов Филдсовской премии, включая Теренса Тао и Петера Шольце, считают, что доказательства, созданные ИИ, могут подрывать понимание математики и приучать исследователей полагаться на инструменты, за ходом работы которых они не могут проследить. Часть математиков призывает бойкотировать такие доказательства, а других поражает сам объём автоматически созданных заявок.

Китай, напротив, намерен разрабатывать специализированные модели, создавать доказательства, которые можно проверять автоматически, и делать рассуждения ИИ прозрачными. Альянс, созданный Шин-Тунгом Яу и группой ведущих китайских математиков, объединяет восемь учреждений и рассчитывает выстроить сеть более чем из 1 000 исследователей. Яу также предупредил, что страна отстаёт от США.

Даже среди специалистов, которые применяют ИИ, нет согласия, способен ли он давать подлинные математические идеи или лишь перебирает известные методы. Неясно и то, важно ли вообще это различие.