Leanstral стала первой открытой моделью, поддерживающей язык Lean 4 и связанный с ним инструментарий для математических доказательств. Lean 4 обеспечивает возможности проверки корректности кода и соответствия спецификациям, что в контексте вайб-кодинга позволяет удостовериться, что сгенерированный моделью код делает именно то, что задумано.
-
-
Стартап Mistral представил новое поколение своих кодинговых моделей: мощную Devstral 2 с 123 млрд параметров и легкую версию Devstral Small 2 с 24 млрд.
-
Ключевыми нововведениями стали режим "глубокого исследования", интегрированная поддержка мультиязычного анализа и расширенные инструменты редактирования изображений.
-
Французский стартап Mistral запустил собственный ИИ-инструмент для программистов под названием Mistral Code. Новый продукт выходит на рынок в качестве конкурента решениям GitHub Copilot, Anysphere’s Cursor и Windsurf.
-
Одним из главных достоинств Le Chat является его высокая скорость работы. Компания утверждает, что применяет «самые быстрые алгоритмы принятия решений на планете», и её чат-бот способен обрабатывать до 1000 слов в секунду.
-
В настоящее время доступны две модели: Ministral 3B и Ministral 8B. Обе модели способны обрабатывать контекстное окно в 128 000 токенов, что соответствует объёму текста, равному 50 страницам книги.
-
Mistral утверждает, что Large 2 поднимает планку производительности для открытых моделей, подкрепляя это несколькими бенчмарками.
