Терри Тао: ИИ готовит крупнейший кризис математики с эпохи Гёделя
Лауреат Филдсовской премии Терри Тао написал эссе для Международного конгресса математиков: ИИ может спровоцировать кризис доверия ко всей доказательной базе.
Терри Тао — лауреат Филдсовской премии и признанный лучшим математиком поколения — написал эссе для Международного конгресса математиков: ИИ может спровоцировать кризис, сравнимый с потрясением 1900-х, когда теоремы Гёделя вынудили переосмыслить основы науки. Тао проводит параллель с кризисом 1900–1930 годов: тогда парадокс Рассела и теоремы о неполноте вскрыли скрытые допущения во всей математике.
Данные уже внушают тревогу. В проекте First-Proof 7 из 10 нерешённых задач получили «положительные оценки» от ИИ-систем за несколько десятков долларов каждая. В базе Эрдёша накопились десятки ИИ-генерируемых доказательств без проверки живыми учёными. ИИ создаёт «переполированные» тексты — легко читать, но трудно прощупать на прочность.
Математика держится на том, что доказательства понимают и перепроверяют люди. Когда система генерирует идеально отшлифованные тексты, которые легко читать, но трудно прощупать на прочность, наука теряет механизм самоконтроля — и доверие ко всей доказательной базе может рухнуть.
Источник: the-decoder.com
Бесплатный курс
Хватит читать про ИИ — начни строить с ним
Бесплатный курс Claude Code: свой первый сайт, инструмент или игра — без программирования. Без апсейлов и кросс-сейлов — здесь нечего купить.
Начать →▌ Гайды по теме
Автор
Евгений Арсентьев
PhD · CEO, digital health
Статьи · Свежие статьи