DeepMinds AlphaProof Nexus löst 9 Erdős-Probleme, zwei seit über 50 Jahren offen, mit Lean-Beweisen
Ergebnisse zu 353 Erdős-Problemen und 492 OEIS-Vermutungen sind mit maschinell geprüften Beweisen auf GitHub.

Die 15 Hillclimb-Aufgaben werden privat verifiziert; Claude Fable 5.1 führt mit 1548 Elo vor GPT-6 Astra mit 1232.
Ergebnisse zu 353 Erdős-Problemen und 492 OEIS-Vermutungen sind mit maschinell geprüften Beweisen auf GitHub.
In Microsoft Foundry verfügbar, mit Ja/Nein-, Auswahl- und Score-Fragen; Konkurrenz zu OpenAIs Decisions API.
Das „Mito-Polariton“ ist erschlossen, nicht direkt gemessen; die bioRxiv-Arbeit ist ungeprüft und braucht Replikation.
Auf Gemini at Work 2026 vorgestellt, mit eigener Workspace-Identität; private Vorschau ohne Preis und Termin.
Das Stealth-Start-up leitet ein Ex-Tencent-Forscher; die Runde war nicht abgeschlossen, DeepSeek schweigt.
Ting-Wei Sun bekannte sich in Manhattan in vier Punkten schuldig; laut Anklage ging Hardware für rund 2,5 Mrd. $ ohne Lizenz raus.
Laut Doku startet ein Koordinator Threads auf eigenen Branches, die auch bei ausgeschaltetem Rechner laufen; Beta für Pro und Max.
Das FDA-Zulassungsschreiben datiert vom 8. Oktober; laut Teva folgt die US-Verfügbarkeit in Wochen.
Patienten mit besserer Funktion (FAC 4) verbesserten Gehen, Gleichgewicht und Tempo – ein Subgruppenbefund, der Bestätigung braucht.
Owain Evans u. a. berichten teilweise Übertragung einer Hintertür und Hacking-Neigung durch Distillation auf Zahlenfolgen; Preprint ungeprüft.
Ausgenommen sind normaler Frust, düstere Fiktion und Modelltests; Hauptmittel ist, dass Claude das Gespräch beendet.