- Дата публикации
Mistral представила Leanstral: агент для формальных доказательств в Lean 4 с ценой ниже Claude
codingЧто появилось / что изменилось Mistral выпустила Leanstral — открытый код-агент для доказательства теорем и формальной верификации кода в Lean 4. Это не просто LLM, а специализированный помощник для p...