Математик Теренс Тао заявил, что ИИ вычерпывает открытые задачи математики

Математик Теренс Тао опубликовал тред о том, что открытые математические задачи оказались невозобновляемым ресурсом, который ИИ сейчас вычерпывает. Смысл претензии: математики привыкли делиться догадками и незаконченными подходами, но если чужая догадка немедленно уходит в прогон агентов и возвращается готовым доказательством без упоминания автора, делиться перестанут.
Поводом стало объявление OpenAI о Навье-Стоксе. Франсуа Шолле призвал прочитать тред целиком, Пейдж Бейли отметила, что Тао — один из самых спокойных и проиишных математиков, и потому его формулировки читаются тревожно. Дэвид Пфау добавил, что выход ChatGPT закрыл открытость в самом ИИ, но там сообщество всегда было близко к индустрии, а для чистой математики это было бы потерей другого масштаба.
Якоб Фёрстер предложил обратный выход: не перестать делиться, а завести публичный журнал коллективного прогресса, где авторство фиксируется.