🤖 Теренс Тао: в математике кризис из-за ИИ
На конгрессе ICM 2026 Теренс Тао сообщил о переходе от дефицита доказательств к их избытку («proof glut»). ИИ ускоряет генерацию решений, но процессы их проверки и объяснения не поспевают за потоком.
🌍 Сообщество сталкивается с риском «индигестии доказательств», когда объем формально верных, но непонятных решений превышает возможности рецензирования. Проект First Proof уже показал, что ИИ решает 7 из 10 задач на уровне, пригодном для публикации.
👤 ИИ становится полноценным участником науки. Умение интерпретировать и объяснять результаты работы нейросетей становится критически важным навыком для исследователей.
Источник 1: https://best.xiaohu.ai/en/article/tao-age-of-ai-icm-2026/ Источник 2: https://note.com/mi6242/n/n6b0bffb6301e?hl=en