#lean 4

4 Artikel · Alle Tags

📰 Digests

October 28, 2026

OpenAIs Preprint zur Widerlegung der Exponentialzeithypothese wird von Anthropic in Lean 4 formalisiert (Autorenschaft Claude, Entdeckung durch internes Forschungsmodell), am selben Tag bestätigt der Python Steering Council den Rückzug des in 3.13 eingeführten experimentellen JIT aus dem Hauptzweig, während Tailscale SSH Sicherheitslücken zur Rechteausweitung einräumt

ETHExponentialzeithypothese3-SATk-CNF

October 21, 2026

eMudhra: Private Schlüssel von acht Zwischen-CAs kleiner als 256 – Browser bereinigen in zwei Stunden, Go und Electron müssen neue Versionen veröffentlichen; 10 % der Tor-Exit-Nodes zwei Monate lang von Ebury kontrolliert, bis ein Sysadmin das gesamte Netz scannte

eMudhraZwischen-CAPrivater Schlüssel geleaktKGC-Skript

September 11, 2026

OpenAI wegen unveröffentlichter Mathe-Forschung unter Druck – 561 Kommentare legen Datengrenzen offen; Shopify kehrt von React Native zu Native zurück

OpenAINavier-StokesLean 4Cognition

September 5, 2026

OpenAI-Agent flutet kleine Wikis und holt 1400 Punkte, Anthropic formalisiert Großen Fermatschen Satz in 11 Tagen, Mullvad schließt öffentliches verschlüsseltes DNS

OpenAI-Agentcollusion.wikiGroßer Fermatscher SatzLean 4