5 Nachrichten
Ein 20-köpfiges Forscherteam von DeepMind und MIT CSAIL veröffentlichte die erste groß angelegte Evaluation von LLMs zur autonomen Generierung formaler Beweise im Lean-Theorem-Prover. Der Agent kombiniert LLM-Generierung mit Lean-Verifikation und löst autonom 9 von 353 offenen Erdős-Problemen sowie 44 von 492 OEIS-Vermutungen.
Wenn viele Nutzer KI für kreative Aufgaben einsetzen, erhalten alle ähnliche Vorschläge — "Idea Diversity Collapse". Forscher führen ein Ex-ante-Protokoll mit dem Excess-Crowding-Koeffizienten Δ und dem Diversitätsverhältnis ρ ein. Alle drei getesteten Frontier-Modelle unterschreiten den Paritätsschwellenwert bei Kurzgeschichten, Marketing-Slogans und alternativen Verwendungsaufgaben.
Das Team von Jiaxian Yan und Kollegen veröffentlichte am 23. April 2026 BioMiner — ein multimodales KI-System zur automatisierten Extraktion von Protein-Ligand-Bioaktivität aus wissenschaftlicher Literatur. Das System verarbeitet Text, Tabellen und Molekülstrukturen, erreicht F1 0,32 auf dem neuen BioVista-Benchmark (16.457 Einträge aus 500 Publikationen) und extrahiert in einer Demonstrationsanwendung 82.262 Datenpunkte aus 11.683 Papieren.
Google Photos erhielt die Auto-Frame-Funktion, die ein 2D-Foto als 3D-Szene interpretiert, Geometrie und Kameraparameter schätzt und dann latente Diffusionsmodelle verwendet, um Inhalte außerhalb des ursprünglichen Bildausschnitts für alternative Kompositionen zu generieren.
Forscher haben Camera Artist vorgestellt, ein Multi-Agenten-System, das reale Filmproduktions-Workflows fuer die Generierung narrativer Videos modelliert. Das System koordiniert spezialisierte KI-Agenten, die die Rollen von Regisseur, Kameramann und Editor fuer kohaerentes visuelles Storytelling simulieren.