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
3 months ago
5
Related
iOS und macOS 27.2: Das ändert sich auf iPhones, iPads und M...
15 minutes ago
0
Der sympathischste Russe in „Star Trek“ – zum Tode von Walte...
29 minutes ago
0
Popular
Berlin: Polizei schnappt mutmaßlichen Geldautomatensprenger
1 year ago
454
English (US) · © TNC24 2026. All rights are reserved