Математики дали ИИ невидимый экзамен. Он поднялся с 2 до 9.

📬 Бесплатный еженедельный обзор ИИ и математики → https://ademb10.com/?ref=first-proof-3 Четыре математика сформулировали десять исследовательских задач, которые никто раньше не видел, опубликовали запечатанный хеш каждой из них и предоставили лучшим системам ИИ 24 часа на решение каждой задачи. В феврале ИИ ответил правильно на 2 задачи. На этой неделе лучшая система, ProofCouncil, ответила правильно на 9 из 10, что обошлось ей примерно в 1900 долларов. GPT-6 Astra ответила правильно на 7 задач, что обошлось ей в 36 долларов. Лучшая открытая модель ответила правильно на 0. И тридцать экспертов потратили два полных дня на проверку ответов, расходы на которые не отражены в счете ни у кого. ⏱ Разделы 0:00 Введение 1:07 Экзамен, которого никто не видел 3:21 От 2 до 9 4:41 Какова была цена 6:50 Подвох 8:38 Заключение 🔗 Источники Пресс-релиз, 14 октября 2026 г.: https://1stproof.org/third-batch-pres... Таблица участников и результатов: https://1stproof.org/third-batch.html Задачи, ответы ИИ, отчеты рецензентов и стоимость: https://github.com/1stproof/batch-3 Отчет (Абузаид, Шривастава, Уорд, Уильямс): https://hexagonmath.org/2610.00244 Scientific American, 14 октября 2026 г.: https://www.scientificamerican.com/ar... Scientific American, февраль 2026 г. (раунд 1): https://www.scientificamerican.com/ar... Статья по раунду 1: https://arxiv.org/abs/2602.05192 Отчет по раунду 2: https://arxiv.org/html/2606.18119v1 О цифрах: 4 балла у MerLean и 3 балла у Siege — это мои собственные подсчеты на основе опубликованных отчетов судей (задача считается решенной, если средняя правильность судей составляет не менее 0,5); организаторы не опубликовали эти два результата. «От 2 до 9» сравнивает лучшие результаты каждого раунда, и разные системы побеждали в каждом раунде. 🎙 Благодарности Голос Мохаммеда Абузаида: короткие отрывки комментариев из вебинаров First Proof от 3 июня (   • Dan Freed | First Proof Introduction  ) и 10 июня 2026 г. (   • First Proof Second Batch Results  ). Фото Лорен Уильямс: Джордж Бергман, CC BY-SA 4.0, через Wikimedia Commons. Фото Мохаммеда Абузаида: Брижит Лакомб, CC BY-SA 4.0, через Wikimedia Commons. Страницы с описанием задачи и отчетом рецензента: публичный релиз данных First Proof (github.com/1stproof/batch-3). 🎙 Благодарности Голос Мохаммеда Абузаида: короткие отрывки комментариев из вебинаров First Proof от 3 июня (   • First Proof Second Batch Results  ) Музыка: "Smoking Gun" и "Wholesome" Кевина Маклеода (incompetech.com), лицензирована по Creative Commons: By Attribution 4.0 — http://creativecommons.org/licenses/b... Всё остальное — наши рисунки. #AI #Математика #ПервоеДоказательство #GPT #МатематическиеИсследования