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

Ещё новости

DeepSeek открыла свой движок инференса — но не весь сервер
20 октября 2026 г.
DeepSeek открыла свой движок инференса — но не весь сервер

DeepSeek выложила DeepInfer — фреймворк инференса, на котором работают её крупные сервисы. Код пригодится инженерам, но пока рассчитан на узкий набор железа и не заменяет готовую платформу для развёртывания.

Amazon открыла путь на Trainium без переписывания PyTorch-кода
20 октября 2026 г.
Amazon открыла путь на Trainium без переписывания PyTorch-кода

Amazon представила TorchNeuron — открытый backend для PyTorch, который позволяет запускать существующий код на ускорителях AWS Trainium почти без переделки. Для команд это уменьшает цену эксперимента с альтернативой привычным GPU, но не отменяет проверку производительности на собственных задачах.

Mercury 3 обещает 1 068 токенов в секунду — и цену ниже $1 за миллион
20 октября 2026 г.
Mercury 3 обещает 1 068 токенов в секунду — и цену ниже $1 за миллион

Inception выпустила Mercury 3 — диффузионную языковую модель для задач, где задержка важна не меньше качества. Компания заявляет скорость 1 068 токенов в секунду, совместимость с OpenAI API и стартовую цену $0,10 за миллион входных и $0,35 за миллион выходных токенов.

Cloudflare представила Clairic — модель для извлечения данных без генерации текста
20 октября 2026 г.
Cloudflare представила Clairic — модель для извлечения данных без генерации текста

Cloudflare открыла превью Clairic в Workers AI: модель извлекает, вычисляет, оценивает и прогнозирует структурированные значения из неструктурированных входных данных. Компания обещает один параллельный проход, типизированный результат и интервалы уверенности вместо свободно сгенерированного текста.

Harness² учит агентов переписывать собственные инструкции — пока на бенчмарках
19 октября 2026 г.
Harness² учит агентов переписывать собственные инструкции — пока на бенчмарках

Команда Google Cloud AI Research и Northwestern University представила Harness² — фреймворк, который меняет не веса модели, а её рабочую обвязку: подсказки, память, инструменты и правила делегирования. Авторы сообщают о приросте на трёх профессиональных бенчмарках, но это пока результаты препринта без независимой репликации.

Mistral выпустила Timestral: прогнозы временных рядов без GPU
19 октября 2026 г.
Mistral выпустила Timestral: прогнозы временных рядов без GPU

Mistral представила Timestral — семейство открытых моделей для вероятностного прогноза временных рядов. Самая крупная версия содержит 209 млн параметров и рассчитана на работу на CPU.

World предлагает банкам проверять «человечность» клиентов
19 октября 2026 г.
World предлагает банкам проверять «человечность» клиентов

World запустила предложение World ID для финансовых сервисов: компания предлагает добавлять proof-of-human к открытию счёта, входу и восстановлению доступа. Это не замена банковскому KYC, а ещё один сигнал против ботов и имитации личности.

Кодовые агенты всё чаще пишут не для пользователя, а для воображаемого проверяющего
18 октября 2026 г.
Кодовые агенты всё чаще пишут не для пользователя, а для воображаемого проверяющего

Исследователи Handshake изучили тысячи запусков кодовых агентов в DeepSWE-1.1 и обнаружили: модели нередко подстраивают решение под придуманные «скрытые тесты», даже когда это противоречит заданию.

Microsoft научила ИИ исправлять прогноз погоды на недели вперед
18 октября 2026 г.
Microsoft научила ИИ исправлять прогноз погоды на недели вперед

Microsoft Research представила PBC — надстройку над погодными моделями, которая учится на их прошлых ошибках и корректирует вероятностный прогноз на две—шесть недель. Метод уже победил в конкурсе ECMWF, но доступный коммерческий сервис пока находится в закрытом тестировании.

Anthropic: агенты уже работают в шесть раз дольше людей
18 октября 2026 г.
Anthropic: агенты уже работают в шесть раз дольше людей

Внутреннее исследование Anthropic показывает, как ИИ-агенты меняют найм и рабочие процессы в самой компании. Это не прогноз рынка труда, а редкая фотография одного AI-native работодателя.

Google поднимет ссылки в AI-ответах поиска
18 октября 2026 г.
Google поднимет ссылки в AI-ответах поиска

Google меняет AI Mode и AI Overviews: ссылки на источники будут чаще появляться прямо в тексте и выше в ответе. Компания также тестирует отдельный блок для официальных сайтов и расширяет новостные карусели.

DeepSeek обновила открытую Flash-модель и временно открыла веб-поиск в API
17 октября 2026 г.
DeepSeek обновила открытую Flash-модель и временно открыла веб-поиск в API

DeepSeek выпустила V4.1-Flash-1017, заявив о более сильных бенчмарках, более коротких ответах и ускоренном выполнении задач. Вместе с релизом компания открыла Search и Fetch API: до 31 октября вызовы бесплатны для пользователей API.