KI News: Kurz und klar.

Wissenschaftler haben einen innovativen Weg entwickelt, um ein bislang schwieriges Problem der theoretischen Informatik zu lösen: das exakte Lernen eines s‑sparsen, reellen Booleschen Polynoms vom Grad d. Dabei handelt es sich um Funktionen der Form f: {0,1}^n → ℝ, die in der AND‑Basis dargestellt werden können – ein Verfahren, das als Möbius‑Transformation bekannt ist.

Salil Vadhan, Freund des Blogs, hat mich gebeten, die folgenden Informationen zu teilen. Der neue SIGACT Award für expository Arbeiten wurde ins Leben gerufen, um die Erinnerung an den verstorbenen Luca Trevisan (1971‑2024) zu ehren und herausragende Beiträge zur Vermittlung von Ideen und Ergebnissen aus der Theorie der Berechenbarkeit zu würdigen.

In einer festlichen Stimmung hat der Autor dieses Jahr ein besonderes Geschenk gemacht: PurpleMind, eine Plattform, die theoretische Informatik für die breite YouTube-Community zugänglich macht. PurpleMind kombiniert anschauliche Erklärungen, interaktive Visualisierungen und praxisnahe Beispiele, um komplexe Konzepte wie Algorithmen, Komplexitätstheorie und formale Sprachen verständlich zu vermitteln.

Am 29. Oktober hielt ein renommierter theoretischer Computerwissenschaftler einen Online-Vortrag im Rahmen des Alignment Workshops des UK AI Safety Institute. Der Vortrag, der auf einer mehrjährigen Forschungskarriere in der theoretischen Informatik basiert, beleuchtet die Grundlagen und Herausforderungen der KI‑Ausrichtung.

Der theoretische Informatiker Seth Pettie aus Michigan hat einen Gastbeitrag verfasst, in dem er die Umbenennung des SOSA Best Paper Awards zu Ehren des verstorbenen Mihai Pătrașcu erläutert. Der Preis trägt nun seinen Namen, um sein bedeutendes Erbe in der theoretischen Informatik zu würdigen.

Die neuesten großen Sprachmodelle (LLMs) setzen auf zufällige Prozesse, die seit Jahrzehnten in der theoretischen Informatik untersucht werden. Forscher haben gezeigt, dass die Trainingsmethoden von LLMs exakt den Prinzipien der Randomized Algorithms entsprechen – ein Teilgebiet, das vor 50 Jahren erstmals definiert wurde.

Vor wenigen Tagen haben Freek Witteveen von CWI und ich einen neuen Beitrag auf arXiv veröffentlicht, der sich mit den Grenzen der Black‑Box‑Amplifikation in der Quantenkomplexitätsklasse QMA beschäftigt. In dem Papier untersuchen wir, wie weit die Technik, die einen kleinen Unterschied zwischen Vollständigkeit und Zuverlässigkeit exponentiell vergrößern kann, tatsächlich reicht.

In einer neuen Studie verbindet die kognitive Wissenschaft mit der theoretischen Informatik, um die Schwierigkeit von Aufgaben systematisch zu klassifizieren. Durch die Analyse des Soma-Cubes – eines klassischen 3‑D‑Puzzles – wird gezeigt, wie physische Beschränkungen die Komplexität von Problemlösungen beeinflussen.

Am 2. Oktober findet in London ein besonderes Symposium statt, das die wegweisenden Ideen von Alan Kay und Alan Turing würdigt. Die Veranstaltung richtet sich an Informatiker, Historiker und alle, die sich für die Grundlagen der modernen Computerwissenschaft interessieren.