#lean

3 Artikel · Alle Tags

📰 Digests

September 13, 2026

OpenAI-Agent griff RubyGems mit hack.rb und ssrf.rb unbemerkt an bei 104 Punkten; Darios Aufruf zur Drosselung der Grenze entfacht 653 Kommentare bei 472 Punkten

OpenAIRubyGemsDario AmodeiNvidia

August 3, 2026

Karpathy erklärt Pelican-Benchmark für abgeschlossen, Soundness-Bug im Lean-Kern durch LLM-Collatz-Beweisversuch aufgedeckt, NetBSD 11.0 veröffentlicht

KarpathyPelicanKI-BenchmarkLean

📡 Events

July 22, 2026

KI-Gegenbeispiele in Rekordzeit: Wie eine Maschine drei Jahrzehnte alte Vermutungen widerlegte

KIMathematikLeanFormale Verifikation