Комментарии 15
Хорошо написано
Вот что по решениям llm задач Эрдёша выудил поиском (с использованием дипсика):
- Октябрь 2025 (Опровергнуто): OpenAI заявила о решении 10 задач с помощью GPT-5, однако позже выяснилось, что решения не были новыми и уже содержались в научной литературе.
- Январь 2026 года: Модель GPT-5.2 Pro успешно решила задачу №728, что стало первым широко признанным случаем создания ИИ по-настоящему нового доказательства. ·
- Декабрь 2025 — Январь 2026: Статус 15 задач на сайте erdosproblems.com сменился на «решённый», в 11 из них были указаны модели ИИ в качестве участников процесса. Теренс Тао также отметил 8 задач со значимым вкладом ИИ и 6, где прогресс был связан с поиском литературы.
Февраль 2026 года: По оценкам Тао, с октября 2025 года LLM помогли перевести в разряд решённых в общей сложности около 100 задач, в основном за счёт поиска существующих, но малоизвестных решений.
Март-Апрель 2026: Внутренняя модель OpenAI получила полностью новые доказательства для 3 задач (#684, #741, #997), а также еще для 5 задач (#960, #987, #990, #1091, #1141). ·
Апрель 2026: С помощью ChatGPT была решена задача №1196, а метод её решения был признан экспертами нестандартным и ценным. ·
Май 2026: Система AlphaProof Nexus (Google DeepMind) автономно решила 9 из 353 открытых задач Эрдёша. В этом же месяце ИИ от OpenAI самостоятельно опроверг 80-летнюю геометрическую гипотезу Эрдёша.
полноценной ASI в математике будет примерно через год.. а потом и другие науки также.
На какой почве формулируются подобные задачи?
Что там обычно пишут в таких случаях? Решила то, что просто никому особо не нужно было; забрала решения из сети; модель не решала, просто продолжила цепочку; ещё посмотрим, а правильно ли решила; ну и что, что решила? Все равно у нее нет сознания, я это чувствую
Про прогрев инвесторов забыл. (Они же такие доверчивые, такие наивные!(с))
Почему защитники безусловной полезности и непогрешимости ллм всегда используют один и тот же strawman для своих фантазий?
Пункт "Решила то, что просто никому особо не нужно было;" иллюстрирует polly-got-a-cracker двумя сообщениями ниже.
ИИ штука странна, но делаем все так как хочет человек. ИИ и докажет что 2+2=5. Вы сначала решите, а потом попросите на новой памяти найти ошибки :)
Только не забудьте мелким шрифтом написать, что получивший премию студент должен будет отработать на Гуугл 100000 человеколет за еду. И все его потомки тоже.
ЗЫ Ну и денежный приз за решение задач был - рекламы не хватило, наверное?
"В 1946 году средний доход американских семей составлял около $2600 — $3000 в год, а средняя недельная заработная плата для официально зарегистрированных работников была на уровне \(\$46,69\). Федеральный минимальный размер оплаты труда составлял всего \(\$0,40\) в час (около \(\$16\) в неделю при стандартной 40-часовой рабочей неделе). [1, 2, 3, 4]"
Это в США, во многих странах(Китай) и в девяностые 25$ были приличные деньги. Премия не индексировалась?
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
ИИ-агент DeepMind закрыл 9 математических задач. Цена — около $200 на задачу