WICHTIGX-Beiträge2026-10-12 16:13

RT Julia Kempe: Check out our new paper on getting a SOTA harness for Automated Theorem Proving! The "bitterest" part of our lesson, perhaps, was that...

QUELLEN

Yann LeCun2026-10-12 16:13

AKTUELL

Das Discovery-Team von Google DeepMind hat in einem Projekt unter Leitung des studentischen Forschers @dsantosmarco neue Entdeckungen auf dem Weg zur Findung der sechsten Busy-Beaver-Zahl (BB) gemacht
Ein neues Meta-Paper zeigt, dass der Knackpunkt proaktiver Assistenten nicht das Was, sondern das eigenständige Entscheiden des Wann des Unterbrechens ist
Granite Speech 5.0: präziser und schneller transkribieren, übersetzen und Sprecher zuordnen
ChatGPT Ads startet in 26 neuen Ländern, über 100.000 Werbetreibende nutzen die Plattform
The Atlantic: Wenn das öffentliche Interesse in den Händen der großen Tech-Konzerne liegt
Tencent testet die interaktive KI-Community „Dongleya": Ein Satz erzeugt spielbare dynamische Lehrmaterialien und 3D-Demos