Лауреат Филдса собирает альянс на тысячу учёных для ИИ в математике

Шинтун Яу (Shing-Tung Yau), математик, получивший Филдсовскую премию (высшую награду в математике), в воскресенье запустил в Пекине альянс из 8 китайских исследовательских институтов. Альянс рассчитывает вырасти до более 1 000 исследователей и создавать специализированные ИИ-модели для математики, которые выдают доказательства, автоматически проверяемые компьютером. Яу сказал, что Китай в этой области отстаёт от США. Между тем 25 других лауреатов Филдсовской премии, включая Теренса Тао и Петера Шольце, предупреждают, что доказательства, написанные ИИ, разрушают математическое понимание. Некоторые из них призывают бойкотировать такие доказательства.

Любой, кто ежедневно работает с ИИ-агентами, узнаёт эту картину. Результат может выглядеть готовым задолго до того, как кто-то проверит его строка за строкой, а настоящая проблема часто всплывает только после того, как он уже используется. Альянс из более 1 000 исследователей на бумаге звучит впечатляюще, но настоящей проверкой станет не сама презентация. Ею станет то, сколько из этих доказательств реально пройдёт полную машинную проверку.