Erdősproblems.com закрывает комментарии из-за нашествия AI-доказательств
Erdosproblems.com Succumbs to the AI Onslaught
Thomas Bloom, создатель сайта Erdős Problems, объявил о радикальных изменениях: комментарии к задачам и заявки на доказательства замораживаются, статусы задач больше не отображаются, а язык приоритета и авторства упраздняется. Причина — лавина AI-сгенерированных доказательств без объяснений, которые вытеснили живое математическое обсуждение. Bloom подчёркивает, что сайт должен служить человеческому сообществу, а не превращаться в свалку формальных результатов.
Подобно тому как не открывают ресторан на бойне, важно разделять такие репозитории и сайт, который стремится продвигать сами вопросы, помещать их в надлежащий контекст и давать полезный обзор текущего состояния человеческого понимания.
- dooglius
> Я считаю, что это противоречит духу Эрдёша — рассматривать любую задачу как «закрытую» — ведь когда на одну форму вопроса дан ответ, возникает множество других, и все задачи заслуживают постоянного внимания.
Но я думал, что вся идея списка была именно в том, чтобы каталогизировать именно те задачи, которые поставил Эрдёш и не решил. Более широкий набор «всех задач, которые Эрдёш находил интересными, включая те, что он решил» был бы и больше, и, подозреваю, качественно иным.
- nemomarx
«Я считаю, что сайты с такой функцией должны существовать — места, где люди могут записывать доказательства, сгенерированные ИИ, даже если они чисто формальные и без человеческого понимания, чтобы другие не тратили свои токены на генерацию того же доказательства, и чтобы другие люди могли получить к ним доступ и использовать их, если захотят. Сейчас есть несколько кандидатов на такие репозитории, и если управлять ими ответственно, они могут играть полезную роль в математической экосистеме. Лично я не хочу управлять таким.
Как не открывают ресторан на бойне, важно, чтобы существовало разделение между такими репозиториями и сайтом, который стремится продвигать собственно вопросы, помещать их в подходящий контекст и давать полезный обзор текущего состояния человеческого понимания».
Я считаю, что в целом это очень разумный пост в блоге. Сайт для чтения агентами имеет множество иных потребностей и забот, чем сайт для людей. Право, Anthropic или OpenAI следовало бы состряпать такое для своих.
- pfdietz
(Заголовок — мой кликбейт)
Из ссылки:
«Основной способ, которым люди сейчас публично взаимодействуют с сайтом, — это реклама своих доказательств, сгенерированных ИИ, часто без каких-либо попыток их объяснить, но как способ зафиксировать (всё более бессмысленную) заявку на приоритет.
Это сильно отличается от того, что я себе представлял, и я не хочу управлять сайтом, который делает это».