Интеллектуальный хаб темы

открытые технологии

ИИ: События

Leanstral: когда ИИ пишет код, который можно проверить математически

Технический контекст Разработка

Mistral выпустила Leanstral – открытый ИИ-агент для формальной верификации кода на Lean 4, способный не просто писать программы, но и доказывать их корректность.

Mistral AImistral.ai 20 мар 2026

Prime Intellect и NVIDIA объединились, чтобы сделать обучение мощных ИИ-моделей доступным не только для крупных корпораций, но и для широкого круга исследователей.

Prime Intellectwww.primeintellect.ai 20 мар 2026

Alibaba опубликовала исходный код двух ИИ-агентов – HiClaw и CoPaw, – которые потребляют значительно меньше памяти и могут работать локально, без облака.

Alibaba Cloudwww.alibabacloud.com 18 мар 2026

Alibaba открыла исходный код связки HiClaw и CoPaw – лёгкого решения для ИИ-агентов, которое потребляет значительно меньше памяти и работает локально.

Alibaba Cloudwww.alibabacloud.com 17 мар 2026

Microsoft и Fireworks AI объединились, чтобы предоставить разработчикам доступ к быстрым открытым моделям прямо из экосистемы Azure – без лишних посредников и инфраструктурной головной боли.

Microsoftwww.microsoft.com 11 мар 2026

Хотите глубже погрузиться в мир
нейротворчества?

Первыми узнавайте о новых книгах, статьях и экспериментах с ИИ
в нашем Telegram-канале!

Подписаться