AlphaProof Nexus in Science: 9 Erdős-Probleme gelöst
Das Beweissystem AlphaProof Nexus von Google DeepMind erscheint in Science: Es löst 9 von 353 offenen Erdős-Problemen und beweist 44 von 492 OEIS-Vermutungen.
Das Beweissystem AlphaProof Nexus von Google DeepMind erscheint in Science: Es löst 9 von 353 offenen Erdős-Problemen und beweist 44 von 492 OEIS-Vermutungen.
Microsoft-CEO Satya Nadella nennt fünf Prinzipien für KI-Vertrauensarchitektur: Modell und Harness trennen, Kontrollen außerhalb des Modells, manipulationssichere Nachweise.
Cloudflare stellt das quelloffene Entscheidungsmodell Clef-omni vor, das Audio und Video direkt verarbeitet; ein 21-Sekunden-Video mit Ton dauert rund 1,5 Sekunden.
UC Berkeley: Wer rund zehn Minuten mit ChatGPT Aufgaben löst, schneidet ohne das Tool schlechter ab und überspringt häufiger Fragen.
Die Open-Source-Reihe ArtCraft in Rust ahmte zunächst Adobe nach, jetzt kommen vier Repositories für Word, Excel, PowerPoint und AutoCAD hinzu.
OpenAI hebt den Standardkontext von GPT-6.1 Sol in Codex und ChatGPT Work von 272.000 auf 500.000 Token an, damit der Kontext seltener komprimiert werden muss.
Seit dem 9. Oktober vergibt Grok Bot eigene Postfächer unter mail.grokbot.com. Team-Konten brauchen die Freigabe durch Admins, eine Dokumentation von xAI fehlt bislang.
TUFA Labs führt die ARC-AGI-2-Rangliste 2026 mit 88,06 Prozent an, weit über den 24,03 Prozent des Vorjahressiegers NVARC.
Hunderte Browser-Ports sind in wenigen Wochen entstanden, möglich macht es KI-Dekompilierung. Die Rechteinhaber haben sich bislang nicht geäußert.
Redwood Research testet, ob Destillation ein nicht vertrauenswürdiges Modell zum „Gestehen“ bringt: Bei einem versteckten Merkmal steigt die Geständnisrate des 70B-Schülers von 22 auf 84 %.