20 июля 2026 г. в 18:00 AI Science Anthropic Claude Mathematics New Scientist / X / Techmeme

ИИ помог опровергнуть гипотезу Якоби: математики получили громкий тест для Claude Fable 5

$ИИ помог опровергнуть гипотезу Якоби: математики получили громкий тест для Claude Fable 5$

ИИ помог опровергнуть гипотезу Якоби: математики получили громкий тест для Claude Fable 5

Математик Левент Алпёге заявил, что нашел контрпример к гипотезе Якоби — одной из известных задач алгебраической геометрии, сформулированной Отто-Хайнрихом Келлером в 1939 году. В посте на X он написал, что гипотеза «ложна», поблагодарил коллегу Ахила за вопрос и «друга Fable» за работу во время финала чемпионата мира.

По данным New Scientist, речь идет о коротком 216-символьном контрпримере. Издание называет результат самым сложным математическим прорывом, найденным при участии ИИ, но здесь важна осторожная формулировка: математика живет не публикацией в соцсети, а проверкой.

Почему это больше, чем вирусный пост

Гипотеза Якоби утверждала, что определенный класс полиномиальных отображений должен иметь обратное отображение того же типа. Задача десятилетиями считалась трудной и попала в список из 18 проблем для математиков XXI века, который Стивен Смейл составил в 1998 году.

Если контрпример Алпёге подтвердят, это будет не просто очередная победа модели в бенчмарке. Для исследователей важнее другое: ИИ оказался полезен в поиске конкретного математического объекта, который человек может проверить, обсудить и встроить в строгую теорию.

Что теперь будут проверять

Главный тест для Fable 5 начинается после хайпа. Сообщество должно убедиться, что приведенное отображение действительно имеет заявленные свойства и не ломается на технических деталях. В математике один неверный знак может превратить сенсацию в черновик.

Но даже с этой оговоркой история важна. Она показывает, как frontier-модели входят в область, где ценится не красивый ответ, а способность помочь найти проверяемый ход. Для ученых это шанс ускорить поиск идей; для индустрии ИИ — напоминание, что настоящая репутация строится не на анонсе модели, а на результатах, которые выдерживают внешнюю проверку.

Ещё новости

9 октября 2026 г.

GitHub Copilot CLI научился находить локальные модели Ollama

В Copilot CLI появилась команда, которая показывает совместимые модели из уже запущенного Ollama. Но локальная модель сама по себе не делает сессию офлайн и не отменяет телеметрию GitHub.

9 октября 2026 г.

Google представила Gemini agent: рабочий ИИ с доступом к корпоративным системам

Google Cloud представила Gemini agent — корпоративного агента, который получает контекст компании, выбирает модели и выполняет задачи через подключённые системы. Главное для команд — это не новый чат, а ещё одна точка, где придётся заранее определить права, бюджеты и проверку результата.

8 октября 2026 г.

Google выпустила EmbeddingGemma 2 для локального поиска по фото, видео и аудио

Google DeepMind представила открытую 740-миллионную EmbeddingGemma 2: модель сопоставляет текст, изображения, кадры видео и аудио в одном векторном пространстве. Для разработчиков это путь к локальному поиску по медиатеке без обязательной отправки файлов в облако.

8 октября 2026 г.

В Codex CLI появился вход в MCP-серверы из терминала

В версии Codex CLI 0.161.0 OpenAI добавила команду для входа в MCP-серверы из активной терминальной сессии. Обновление также меняет стандартную модель в части каталогов и добавляет настройки голосового режима.

7 октября 2026 г.

Anthropic выпустила Claude Haiku 5.5: массовые ИИ-агенты стали дешевле

Anthropic представила Claude Haiku 5.5 — малую модель для быстрых и недорогих задач: от классификации и суммаризации до субагентов и работы в браузере. Для запросов до 100 тысяч токенов вход и выход стали в десять раз дешевле, чем у Haiku 4.5.

7 октября 2026 г.

Google запустил Playground: игры по текстовому запросу

Google открыл экспериментальную платформу Playground: пользователь описывает игру текстом, тестирует её в браузере и делится ссылкой. На старте сервис доступен совершеннолетним пользователям из США, а возможности создания зависят от подписки Google One.

$OpenAI выложила 722 математические рукописи — но не все доказательства уже проверены$

7 октября 2026 г.

OpenAI выложила 722 математические рукописи — но не все доказательства уже проверены

OpenAI открыла каталог результатов внутренней модели: 722 рукописи в 372 связанных семействах. Компания подчёркивает, что материалы находятся на разных стадиях проверки, а часть результатов без формализации в Lean может содержать ошибки.

7 октября 2026 г.

Georgia Tech готовит онлайн-магистратуру по ИИ с обязательной практикой

Georgia Tech получила одобрение на новую онлайн-магистратуру по искусственному интеллекту. Старт намечен на 2027 год: программа обещает шесть направлений и обязательный проект с компанией или организацией, но детали приёма и стоимости пока не раскрыты.

6 октября 2026 г.

Mistral Large 4: API уже доступен, веса — в конце октября

Mistral открыла public preview Mistral Large 4 — мультимодальной модели с 1 трлн параметров, из которых активно 49 млрд. В API её уже можно попробовать, но обещанные open weights появятся лишь в конце октября.

6 октября 2026 г.

Reflection показала Beam на 501 млрд параметров — но веса выйдут позже

Reflection представила Beam — открытую по весам MoE-модель для кода, рассуждений и агентов. Пока это ранний доступ: веса, model card и технический отчёт обещаны лишь позднее в октябре.

6 октября 2026 г.

OpenAI начнёт маркировать тексты ChatGPT и Codex в ЕС

OpenAI сообщила, что будет добавлять невидимую маркировку в тексты ChatGPT и Codex для пользователей из ЕС. Метка должна помочь выполнять требования AI Act, но компания признаёт: после существенной правки текста её будет труднее обнаружить.

5 октября 2026 г.

GitHub открыла API для запуска проверок кода Copilot

GitHub разрешила запускать проверку pull request’ов Copilot через REST и GraphQL API. Одновременно для новых и уже существующих репозиториев стандартным уровнем тщательности стал Balanced.