Заголовок на английскомSharing AI progress in mathematics

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

Похожие материалы

Стартапы🇰🇿 Казахстан#OpenAI#Anthropic1 мин

Meta наращивает ставку на ИИ: повышает расходы и готовит выпуск нового класса акций

Технологический гигант и его дальнейшие планы могут стать важным индикатором для рынка

Kapital.kz22 окт.

Исследования

KZ·AI D119

Anthropic бросает вызов Grok Bot, Meta's Muse и OpenAI's Dots с помощью своего постоянно действующего агента Claude Duet.

ИсследованияСюжет: Anthropic представляет Claude Duet — нового AI-агента-конкурента Muse→#OpenAI#Anthropic1 мин

Anthropic бросает вызов Grok Bot, Meta's Muse и OpenAI's Dots с помощью своего постоянно действующего агента Claude Duet.

Anthropic запустила Claude Duet, проактивный ИИ-агент, который самостоятельно решает задачи, даже когда пользователь не в сети. Приложение создано на базе Claude Opus 5.5 и подключается к таким сервисам, как Gmail, Slack и Stripe, через более чем 6000 коннекторов. Прежде чем он запрашивает одобрение…

The Decoder22 окт.

Стартапы

KZ·AI 12BD

Ансамбльное прогнозирование с помощью моделей временных рядов IBM Granite

Стартапы#Hugging Face1 мин

Ансамбльное прогнозирование с помощью моделей временных рядов IBM Granite

Сообщение в блоге IBM Research об «Обнимающем лице»

Hugging Face Blog22 окт.

Стартапы🇰🇿Astana Hub#OpenAI#Anthropic1 мин

Казахстанец торговал пирожками, а теперь ведет многомиллионый бизнес с помощью ИИ

Агадил Ержанов закрыл первый бизнес с кассовым разрывом в 20 млн теңге, продавал сэндвичи вместе с женой, а спустя три года делает платформу для детей с ИИ-помощником и смартфон, в котором нет ни соцсетей, ни браузера. «Курсив» рассказывает интересную историю молодого…

Kursiv Media Tech22 окт.

К списку