Машинное обучение
11,9 тыс
подписчиков
По всем вопросам : https://t.me/haarrp
Самая актуальная информация из мира machine learning , нейронных сетей.
https://t.me/ai_machinelearning_big_data - наш телеграм канал
По всем вопросам : https://t.me/haarrp
Самая актуальная информация из мира machine learning , нейронных сетей.
https://t.me/ai_machinelearning_big_data - наш телеграм канал
9 часов назад
🌟 Mistral AI обновила модель Leanstral
Leanstral 1.5 - новая версия ранее выпущенной модели для формальной верификации в языке Lean 4. Задача подобных моделей помогать составлять и проверять доказательства, которые компилятор Lean принимает как корректные. Lean 4 - это система интерактивного доказательства теорем, которая позволяет записывать математические утверждения и проверять их строго формально, а также описывать свойства программного кода. Обновление не затронуло изменение архитектуры, количество параметров и окно контекста,...
1 день назад
Коммерсантъ
: 🟠За январь—май 2026 года количество резюме на российском рынке труда выросло на 52% по сравнению с аналогичным периодом прошлого года. 🟠Самый заметный рост соискательской активности зафиксирован среди специалистов в возрасте 45–64 лет — число их резюме увеличилось на 97%. 🟠Среди кандидатов 35–44 лет показатель вырос на 80%, а в группе 25–34 лет — на 69%...
1 день назад
Частая дилемма в Rust: Tokio отлично подходит для async I/O, Rayon для тяжёлых CPU-задач
Но как связать их так, чтобы не заблокировать async runtime? 🦀 Команда Tantivy, поискового движка на Rust, показала, как решила это в продакшене. Проблема: Tokio-задачи не должны блокироваться. Тяжёлая CPU-работа может подвесить весь async runtime. Rayon-потоки не понимают async. Внутри rayon thread нельзя просто взять и сделать .await. Передать результат обратно между этими мирами тоже не так очевидно...
1 день назад
Anthropic изучила 400,000 сессий Claude Code
Вывод неприятный для культа “учись кодить” В отчёте Agentic coding and persistent returns to expertise Anthropic показывает важный сдвиг: в AI coding побеждает не тот, кто лучше пишет код, а тот, кто лучше понимает задачу. Данные: * ~235,000 пользователей * ~400,000 Claude Code сессий * период: октябрь 2025 - апрель 2026 * verified success у software-related профессий: 34% * у остальных профессий: 29% Разрыв всего 5 пунктов. При этом менеджеры, sales и другие не-dev специалисты быстро растут как пользователи Claude Code...
1 день назад
ИИ-агенты научились сами себя улучшать без участия инженеров
Исследователи опубликовали работу под названием «Next-Generation Agentic Reinforcement Learning Systems Enable Self-Evolving Agents», где описан механизм, позволяющий корпоративным ИИ-агентам развиваться без постоянного вмешательства разработчиков. Агенты, которые работают внутри компаний, каждый день генерируют огромный объем полезных данных о своей работе. Проблема в том, что команды обычно улучшают их вручную: инженеры вычитывают логи, правят промпты, дообучают модели и заново разворачивают системы...
