Вычислительный конвейер для фундаментальной науки
Математические открытия окончательно перестают быть прерогативой исключительно человеческого разума и превращаются в функцию доступных серверных мощностей. OpenAI обнародовала масштабный пакет из 722 научных статей, разбитых на 372 тематические группы. Все материалы подготовлены нерелизной внутренней моделью компании и претендуют на решение или существенное продвижение в нерешенных математических проблемах.
Самым сенсационным заявлением стало доказательство так называемой «квазигипотезы Римана» — облегченного варианта знаменитой проблемы тысячелетия, описывающей распределение простых чисел. При этом 162 работы уже переведены на специализированный язык Lean, что позволяет автоматически проверить корректность каждого шага математического доказательства с помощью компьютера.
От агентов к одиночным промптам
Если для недавнего прогресса с уравнениями Навье — Стокса инженерам требовалось задействовать ансамбль из 10 000 ИИ-агентов, то текущий массив публикаций получен принципиально иначе. По данным разработчиков, абсолютное большинство результатов сформировано по единичному текстовому запросу, на обработку которого уходило в среднем около трех часов вычислений на уровне ресурсов ChatGPT Pro.
Событие вызвало моментальный резонанс в академических кругах: исследователь Levent Alpöge из конкурирующей Anthropic назвал публикацию одним из наиболее значимых моментов в истории математики. Впрочем, академическое сообщество встретило релиз неоднозначно — многих ученых возмутил столь резкий лавинообразный сброс непроверенных гипотез без предварительных интервалов на рецензирование.
Французский ответ: Mistral выкатила 1T-модель Le Chonk
Пока американские лаборатории штурмуют математические вершины, европейская компания Mistral AI усиливает гонку открытых весов. Разработчики анонсировали флагманскую модель Mistral Large 4 с параметрами на уровне 1 триллиона, получившую кодовое имя «Le Chonk».
- Кодинг: модель демонстрирует 62% на бенчмарках разработки ПО, уверенно обходя недавний американский релиз Beam (44%), но все еще уступая китайской Kimi K3 (68%).
- Кибербезопасность: система набрала 82% в тестах на обнаружение уязвимостей, с которыми модели уровня Claude Opus 5.5 и GPT-6 Astra отказались работать из-за встроенных ограничений.
- Юриспруденция: в отраслевом тесте Harvey модель опередила показатели GPT-6 почти в три раза.
Веса модели станут общедоступными 27 октября, а пока закрытый доступ предоставлен исследователям безопасности и государственным агентствам.
Другие ключевые события индустрии
- Прецедент в медицине: Власти штата Юта впервые в истории США официально разрешили алгоритму Nolla Health самостоятельно диагностировать акне по скану лица и выписывать рецептурные мази без участия врача-человека.
- Проактивные агенты Hark Pro: Стартап Бретта Эдкока запустил персонального ассистента, способного параллельно запускать до 36 облачных браузерных сессий для автоматического бронирования билетов, покупок и аналитики.
- Интеграция Claude: Компания Anthropic внедрила боковую панель с ИИ прямо в интерфейс Google Docs, Sheets и Slides для пользователей платных тарифов, позволив модели вносить правки в документы на лету.