Schlagwort KI-Forschung
FlashProve: Anthropic zeigt KI-Nachweis ohne Offenlegung der Modellgewichte
Das KI-Unternehmen Anthropic hat mit FlashProve einen quelloffenen Forschungsprototypen auf Basis sogenannter zkSNARKs vorgestellt. Wie aus Berichten vom 3. November 2026 hervorgeht, ermöglicht das System den Nachweis, dass eine Modellausgabe tatsächlich von bestimmten Modellgewichten erzeugt wurde, ohne dass die Gewichte…
Maushirn-Atlas: KI-System analysiert 7,7 Millionen Zellen in 32 Minuten
In einer gemeinsamen Forschungsarbeit haben OpenAI, PerturbAI und Scripps Research einen umfassenden CRISPR-Atlas des gesamten Maushirns mithilfe vernetzter KI-Agenten ausgewertet. Das System analysierte die Daten von Millionen Maushirnzellen innerhalb von 32 Minuten. Für eine vergleichbare Analyse inklusive Literaturrecherche durch menschliche…
Gemini 4 Argon: Vier KI-Agenten besiegen den Enderdrachen in Minecraft
Vier auf dem Modell Gemini 4 Argon basierende KI-Agenten von Google DeepMind haben das Computerspiel Minecraft ohne menschliche Eingriffe durchgespielt und den Ender Dragon besiegt. Für den Durchlauf in einer zufällig generierten Survival-Welt der Java Edition 1.20.4 auf dem Schwierigkeitsgrad…
NIST-Kurven: Claude führt kryptografische Seeds auf lrand48 zurück
Ein internes Forschungsmodell des KI-Unternehmens Anthropic hat eines der langlebigsten Rätsel der modernen Kryptografie gelöst. Das System Claude führte die Seeds der weit verbreiteten NIST-Kurven auf den Standard-Zufallsgenerator lrand48 aus der C-Bibliothek zurück, der mit Unix-Zeitstempeln aus den Jahren 1997…
Flare am CERN: KI-Modell soll Milliarden LHC-Kollisionen auswerten
Die Europäische Organisation für Kernforschung (CERN) und das französische Start-up Mistral AI haben eine Absichtserklärung über eine langfristige strategische Partnerschaft unterzeichnet. Wie Mitte Oktober aus Medienberichten hervorging, beabsichtigen beide Seiten, gemeinsam sogenannte Foundation-Modelle für wissenschaftliche Entdeckungen zu entwickeln. Im Zentrum…
AA-Robotics v0.1: GPT-6 Astra führt den Robotertest mit 69,4 Punkten an
Die Plattform Artificial Analysis hat am 14. Oktober 2026 mit AA-Robotics v0.1 eine Testumgebung als sogenannte Research Preview vorgestellt. In dem Benchmark steuern moderne KI-Sprachmodelle einen physischen Roboterarm mit sechs Achsen über Programmcode und eine HTTP-Schnittstelle. Als Hardware dient der…
OpenAI auf GitHub: 722 KI-Mathearbeiten lösen Streit um Beweisqualität aus
Am 6. Oktober 2026 hat das US-amerikanische KI-Unternehmen OpenAI mehr als 700 maschinell erstellte Mathematik-Preprints auf der Entwicklerplattform GitHub veröffentlicht. Die insgesamt 722 Manuskripte sind das Ergebnis eines bislang unveröffentlichten internen Modells, das auf rund 4.000 mathematische Probleme angewendet wurde.…
StudentSim: Microsoft Research trainiert KI-Tutoren mit 60 simulierten Lernenden
Microsoft Research hat mit StudentSim ein neues Forschungssystem vorgestellt, das KI-Tutoren vor einem praktischen Einsatz mit echten Schülern trainieren und evaluieren soll. Wie Berichte vom 12.10.2026 darlegen, bildet das System individuelle Lernverhalten über computergestützte Modelle ab. Dadurch soll die pädagogische…
GPT-6 Astra: OpenAI trainiert mit Ironclad KI-Agenten für Vertragsabläufe
OpenAI hat am 6. Oktober 2026 eine Forschungskooperation mit dem Vertragssoftwarespezialisten Ironclad angekündigt. Ziel der Partnerschaft ist es, spezialisierte KI-Agenten für anspruchsvolle Vertragsabläufe zu trainieren und zu evaluieren, um die computergestützte Ausführung professioneller Arbeitsprozesse voranzutreiben. Im Zentrum der Zusammenarbeit steht…
OpenAI-Modell: 722 Manuskripte mit mathematischen Ergebnissen veröffentlicht
Ein internes, bislang unveröffentlichtes Frontier-Modell von OpenAI hat laut Unternehmensangaben Hunderte komplexe und langjährige mathematische Probleme gelöst. Wie unter anderem am 6. Oktober 2026 berichtet wurde, stellte OpenAI daraufhin 722 Manuskripte in 372 Ergebnis-Familien in einem öffentlichen GitHub-Repository unter der…