heise online News

Apple: KI-Framework „Trust Insights“ soll vor Social Engineering schützen (Mo, 06 Jul 2026)
Apple plant mit iOS 27 ein neues Framework namens Trust Insights. Eine KI-basierte Verhaltensanalyse soll Nutzer vor Social Engineering und Betrug warnen.
>> mehr lesen

Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe (Mon, 06 Jul 2026)
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.
>> mehr lesen