webAI выпустила TwIL-LM3-Pro - компактную модель на 3,66B параметров специально для формальной логики. Модель построена на базе IBM Granite 4.2 3B и дообучена для задач вроде: - проверки, следует ли вывод из заданных предпосылок - перевода текста в формальную логику - semantic parsing - формализации и критики доказательств в Lean По тестам webAI, TwIL-LM3-Pro примерно на уровне Qwen3-8B по главному composite-метрику формальной логики, при этом параметров у неё меньше чем вдвое. Также она обходит публичный VibeThinker-3B по всем шести заявленным formal-задачам. - 3,66B параметров - Q4 GGUF

🔥 Бесплатный курс по Claude Code на русском: от установки до команды агентов На GitHub выложили Claude Code PRO Course, бесплатный практический курс по Claude Code на русском языке. Он ведёт от первого запуска до настройки многоагентной работы в команде. Внутри 12 модулей в четырёх уровнях сложности: основы, рабочий процесс, расширения и масштабирование. Сначала установка, промптинг, память проекта через CLAUDE.md, настройки и права доступа. Потом профессиональный рабочий процесс, скиллы и слэш-команды, сабагенты и хуки. Дальше идут MCP, плагины и маркетплейсы, а в конце headless-режим, CI

🖥 Cayu - open-source runtime для долгоживущих ИИ-агентов на Python Проект закрывает инфраструктурную часть работы агентов: управление состоянием, инструментами, правами доступа, секретами и восстановлением после сбоев. Возможности: - долговечные сессии, события и контрольные точки; - возобновление, прерывание и разветвление запусков; - типизированные инструменты, политики и подтверждения действий; - лимиты расходов и учёт стоимости запусков; - работа с субагентами и фоновыми задачами; - управление контекстом и его сжатие; - изолированные окружения, хранилища и секреты; - трассировка, тесты