Mistral AI hat Leanstral 1.5 veröffentlicht, ein Open-Source-Modell für formale Verifikation.

Es löst komplexe mathematische Probleme und hat fünf echte Fehler in öffentlichen Code-Repositories gefunden.

KI-generiert: Die Zusammenfassungen schreibt eine KI auf Grundlage der verlinkten Quellen. So nutzen wir KI