Сайт задач Эрдёша перестал принимать доказательства.
Томас Блум, который ведёт erdosproblems.com, во вторник закрыл новые комментарии и заявки о решении. Он говорит, что из 9000 комментариев почти все рекламируют необъяснённые доказательства от ИИ. Сайт также убрал метки «открыта» и «решена» у 1221 задачи.
Почему это важноСписки открытых задач стали для ИИ-лабораторий местом охоты за громкими результатами. Люди, которые ведут эти списки, начали закрывать дверь.
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Двадцать попыток на одной задаче отняли у лучшего агента треть очков.2026-10-06Модель обучилась без метода, которым обучают весь ИИ.
2026-10-06США собрали 16 стран, чтобы поставить ИИ в центр науки.
2026-10-05Пять открытых задач пали в обычном окне чата.
2026-10-05Сырые модели решили задачи, которые не берёт их отточенная версия.
2026-10-04