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

безопасность ии

LG AI Research представила второй выпуск отчёта об этике и безопасности ИИ, в котором компания рассказывает о своих принципах, практиках и вызовах на пути к надёжному ИИ.

LG AI Researchwww.lgresearch.ai 21 мар 2026

ИИ: События

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

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

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

Mistral AImistral.ai 20 мар 2026

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

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

Подписаться