Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source
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.
Ähnliche Beiträge
heise+ | FritzOS 8.50: Integrierter Adblocker und weitere Neuerungen im Überblick
Das nächste große Firmware-Update für Fritzboxen ist erschienen, unter anderem mit einer Adblock-Funktion. Wir haben es ausprobiert und geben Einrichtungstipps.
Distanz zu Putin: Wie Belarus‘ Machthaber Lukaschenko seine Gefangenen verkauft
In Belarus kommt immer wieder eine größere Zahl politischer Gefangener frei. Diktator Lukaschenko nutzt sie als Faustpfand, um Lockerungen von US-Sanktionen zu erreichen. Damit entfernt er sich zugleich von Putin.
Laos: Weitere Goldsucher nach Tagen aus überfluteter Höhle gerettet
Die Erleichterung ist groß: Vier weitere Männer konnten sich aus einer überfluteten Höhle in Laos retten, nachdem sie dort tagelang eingeschlossen waren. Gleichzeitig schwinden die Chancen, die beiden übrigen Vermissten zu finden.[mehr]
AWS und Azure: EU-Kommission knöpft sich Cloud-Riesen wettbewerbsrechtlich vor
Trotz verfehlter Kennzahlen: Die Brüsseler Wettbewerbshüter wollen Amazon und Microsoft auch für ihre Cloud-Dienste als Gatekeeper nach dem DMA einstufen.
KI-Update kompakt: KI-Gesetz, Rufmord, OpenClaw, KI-Kompetenzen in Schulen
Das „KI-Update“ liefert drei mal pro Woche eine Zusammenfassung der wichtigsten KI-Entwicklungen.
Suno: KI-Musikdienst will erzeugte Songs mit Wasserzeichen kennzeichnen
Der KI-Musikdienst Suno will erzeugte Songs mit Wasserzeichen versehen. So sollen sie auch auf Streaming-Plattformen als KI-Musik erkennbar sein.
