AI-агенты

Claude Fable 5.2 формализовала теорему Ферма за 30 часов

1 мин чтенияHabr AI
ZOLT®AI / NEWS

Тысяча агентов Claude Fable 5.2 за 30 часов формализовала доказательство Великой теоремы Ферма в Lean. Opus 5.5 с тем же числом агентов остановилась примерно на четверти работы. Как проходил эксперимент и чем Fable 5.2 отличается от Mythos 5.2.

Читать далее

ZOLT JOURNAL / ДАЛЬШЕ

Обложка: ASR для AI-разработки: как я замерял качество распознавания технических терминов
AI-агентыHabr AI

ASR для AI-разработки: как я замерял качество распознавания технических терминов

В этой статье я расскажу о том, как бенчмарк распознавания речи при AI-разработке голосом. Поговорим про сам замер, фабрики софта, постановку задач, особенности речи и датасет, посмотри на циферки и разберемся почему классический WER — очень коварная метрика, особенно в разработке. Ну что, лонг-тапнем на диплинк и деплоим на шпрот?

1 мин чтения
AI-агентыCNews

Материнская плата Storex D32 G4/5 вошла в ЕРРРП Минпромторга России

Материнская плата Storex D32 G4/5 компании «Байт» включена в Единый реестр российской радиоэлектронной продукции (ЕРРРП)...

1 мин чтения
AI-агентыCNews

Российские компании переплачивают за ИИ до девяти раз, но не получают гарантий конфиденциальности данных

Международные ограничения лишают российские компании не только прямого доступа к зарубежным нейросетям по международным...

1 мин чтения