Теренс Тао: ИИ «выкапывает» лучшие открытые задачи математики быстрее, чем люди придумывают новые
ИИ так быстро решает задачи, что главной редкостью в математике становятся хорошие вопросы. Людям остаётся работа ещё интереснее: придумывать, что спрашивать, и понимать, почему ответ верен.
Филдсовский лауреат Теренс Тао написал, что мощные ИИ-инструменты решают хорошие открытые задачи быстрее, чем сообщество успевает формулировать новые, — он сравнил это с невозобновляемой добычей. Решённая задача перестаёт двигать область, а сами решения без объяснений мало что дают людям. Поводом стали недавние успехи: весной модели OpenAI и Anthropic независимо закрыли гипотезу Эрдёша, а в сентябре ИИ-лаборатории за несколько дней решили две задачи возрастом 350 и 90 лет. Тао предлагает помечать часть задач как «требующие анализа», чтобы голый ответ без рассуждения ценился мало, но признаёт, что запретить ИИ в математике технически невозможно.
Источники 3