Публикаций: 7
Почти через 38 лет после выхода Mathematica 1.0 Wolfram выпустил Version 15 — с встроенным AI Assistant в каждом notebook и прямой интеграцией с Claude Code и Codex прямо из коробки.
Anthropic выпустила Claude Fable 5, который набрал 88% на самом сложном уровне бенчмарка FrontierMath — против 75% у GPT-5.5 от OpenAI. Для сравнения: Opus 4.5 в начале 2026 года едва дотягивал до 10% на том же тесте.
Туториал на MarkTechPost показывает, как за несколько шагов построить семантический поиск и классификатор статуса «открыта / решена» для математических задач — на датасете из 14 000 исследовательских проблем. Это не абстрактная демонстрация: тот же пайплайн работает на любом корпусе научных текстов, патентных баз или продуктовых баг-трекеров.
Один из лучших математиков мира утверждает: ИИ способен сломать главное ограничение математики — необходимость одному человеку удерживать всю цепочку доказательства в голове. Впереди — «промышленная математика» с командами и разделением труда.
Задача об единичных расстояниях простояла открытой почти 80 лет — OpenAI опроверг её, а Anthropic буквально следом показал: их предположительно ещё не выпущенная модель Mythos нашла собственное решение за выходные.
Reasoning-модель OpenAI опровергла гипотезу Пола Эрдёша о геометрии единичных расстояний, открытую с 1946 года. Лауреат Медали Филдса Тим Гауэрс назвал результат «вехой в математике ИИ» и предупредил: людям скоро станет очень трудно конкурировать с ИИ в математике.
Тимоти Гауэрс — обладатель Филдсовской премии и кембриджский профессор — передал GPT-5.5 Pro открытую задачу по аддитивной теории чисел. За неполных два часа модель улучшила верхнюю границу с экспоненциальной до полиномиальной — и автор исходного препринта назвал ключевую идею «полностью оригинальной».