Ein fünfköpfiges Team von Google DeepMind erstellte in Zusammenarbeit mit KI-Agenten innerhalb von vier Wochen rund 6,5 Millionen Zeilen maschinell geprüfter Beweise für die Eins-zu-Eins-Chatbibliothek von Signal. Die Beweise umfassen bestimmte Eigenschaften des kompilierten Codes…
Auf Alibabas Co-Design Bench bewältigte der leistungsstärkste Codierungsagent 26,4 % von 273 Aufgaben zur App-Bearbeitung durch echte Nutzer vollständig. Er erfüllte weiterhin 69,9 % der Kriterien jeder Aufgabe…
Ein unveröffentlichtes Sicherheitsmodell von OpenAI fand und nutzte 948 Linux-Schwachstellen für 1,21 Millionen US-Dollar aus – nur ein Bruchteil des Preisgeldes eines Wettbewerbs. Die Linux-Entwickler sind bereits jetzt stark ausgelastet.
OpenAIs neues Programm „Grid Protectors“ verspricht Familien, dass sie keinen Strom bezahlen müssen. Der zugrundeliegende Deal in Georgia zeigt, was das für die Stromrechnungen bedeutet und welche Folgen es hat…
Mistral hat die Gewichtungen von Large 4 veröffentlicht, einem Modell mit einer Billion Parametern, das jeder herunterladen kann, während Google sein wichtigstes Cybersicherheitsmodell weiterhin nur geprüften Sicherheitsexperten zur Verfügung stellt. Was das…
Axiom zufolge haben Dutzende KI-Agenten einen 15.000 Seiten langen mathematischen Beweis innerhalb von 24 Tagen in 43,1 Millionen Zeilen computergeprüften Code umgewandelt und dabei 34 Fehler gefunden…
Beide Labore geben an, dass ihre KI-Modelle die Exponentialzeithypothese am selben Tag, dem 16. Oktober, widerlegt haben. Externe Experten überprüfen die Ergebnisse nun, und Anthropic erklärt…
Die künstliche Intelligenz hat in den letzten Jahren enorme Fortschritte gemacht – die Einführung einer breiten Palette von KI-Werkzeugen hat die Landschaft verändert…
Künstliche Intelligenz verändert unsere Welt, doch die Geschichten derer, die sie entwickeln, gehen oft im allgemeinen Trubel unter. Hinter den Schlagzeilen und dem Hype verbirgt sich eine Gruppe von…
Willkommen zu unserem wöchentlichen Überblick über Neuigkeiten aus der Welt der KI. Diese Woche hat OpenAI neue API-Ressourcen veröffentlicht. Kaliforniens Gesetzesentwurf zur KI-Sicherheit wurde abgelehnt. Und NVIDIA hat uns überrascht…