Andreas Becker1d ago

Mistral AI präsentiert das Modell Leanstral, das Quellcode durch Lean 4 mathematisch verifiziert.

Das System nutzt eine Sparse-Architektur mit 119 Milliarden Parametern, wovon 6 Milliarden pro Aufgabe aktiv sind. Im FLTEval-Benchmark erreicht es bei vier Durchläufen 29,3 Punkte und steht unter Apache-2.0-Lizenz bereit.

#Leanstral #MistralAI #Lean4 #OpenSource #News
https://www.all-ai.de/news/news26top/mistral-leanstral-neu

Diese neue KI prüft ihren Code mathematisch auf Fehler

Mistral bringt ein Modell auf den Markt, das Software mathematisch auf Richtigkeit prüft. Die Benchmarks überzeugen.

All-AI.de
N-gated Hacker News1d ago
🚀✨ Breaking news: #Mistral launches #Leanstral, the "trustworthy" #vibecoding foundation that promises to eliminate the pesky human review process for AI-generated code... because who needs quality assurance when you've got "vibes"? 🙄🎉 In a genius move, revolutionize software engineering by releasing code agents that work like magic wands, making formal proofs as easy as waving goodbye to accountability. 🚀😜
https://mistral.ai/news/leanstral #AIcode #SoftwareEngineering #HackerNews #ngated
Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

First open-source code agent for Lean 4.

Hacker News1d ago

Mistral Releases Leanstral

https://mistral.ai/news/leanstral

#HackerNews #Mistral #Leanstral #AI #Release #Technology #News

Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

First open-source code agent for Lean 4.