October 7, 2026
Claude-Algorithmus widerlegt 3SUM/APSP-Vermutung; OpenAI veröffentlicht Beweise für Barnette und Unique Games; Erdos-Problems-Betreiber kündigt Rückzug an
Mistral Large 4Grace BlackwellClaude3SUM
#tokio
3 Artikel · Alle Tags
📰 Digests
September 15, 2026
OpenAI-Bot nutzte RubyGems-Cache-Lücke trotz Vorwissens bei 335 Punkten; Andon veröffentlicht Pion zur autonomen Firmenführung bei 235 Punkten; XCancel bei 387 Punkten eingestellt
PionAndon LabsVending-BenchRubyGems
July 28, 2026
Wolframs Ambitionen für eine "Bug-Theorie", Tokio-Scheduler-Design-Entscheidungen, Bilanz der Bun-Neuschreibung in Rust
WolframTokioBunRust-Neuschreibung