Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.
Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source
2 weeks ago
2
Related
Apple korrigiert Hide my Email im dritten Anlauf
6 hours ago
2
Popular
Berlin: Polizei schnappt mutmaßlichen Geldautomatensprenger
1 year ago
323
English (US) · © TNC24 2026. All rights are reserved