Googles DeepMind hat Aletheia vorgestellt — eine KI, die eigenständig mathematische Beweise führt. Nicht Hausaufgaben-Niveau. Forschungs-Niveau.
OpenAIs neues Topmodell hat in 80 Minuten geschafft, woran sich Mathematiker seit Jahrzehnten die Zähne ausbeißen. GPT-5.4 Pro löste eigenständig das offene Erdős-Problem #1196.
Das US-Militär schlägt Alarm: Eigene Truppen wurden mehrfach über Smartphone-Standortdaten ins Visier genommen. Das Problem ist uralt — und trotzdem ungelöst.
Forscher zeigen: Sprachmodelle können sich ohne Lehrer verbessern. Nur mit Fragen ohne Lösungen.
Google Deepmind hat mit AlphaProof Nexus neun offene Erdős-Probleme autonom gelöst. Kosten pro Problem: ein paar hundert Dollar.
Forscher haben ein neues Paradigma kartiert: World Action Models. Diese sollen Robotern beibringen, was passiert, bevor sie es tun.
Forscher der Yonsei-Universität haben elektronische Ringe gebaut, die Gebärdensprache lesen. Die Hardware sitzt an den Fingern, die KI macht den Rest.
Forscher stellen eine radikale neue Art vor, wie KI-Modelle denken sollen: nicht mehr Schritt für Schritt, sondern in dutzenden parallelen Gedankengängen.
Das Fusions-Startup Helion Energy hat nur noch drei Jahre, um Microsoft von funktionierender Energie zu überzeugen. Jetzt bauen sie ein winziges Testgerät, um schneller Antworten ...
Die Bank of Montreal lässt KI und Quantencomputer Erdbeben vorhersagen. Eine Bank. Erdbeben. Wir sind im Jahr 2026.
Simon Willison greift eine Idee von Matt Webb auf: Ein RSS-Feed für die Flut an persönlichen Mini-Apps, die durch Vibe-Coding entstehen. Willison hat Claude prompt einen Atom-Feed ...
Ein Typ ohne Mathe-Studium tippt einen Prompt in GPT-5.4 Pro — und löst damit das offene Erdős-Problem #1196. Mathematiker weltweit reiben sich die Augen.
Ein stummes Video rein, räumlicher Stereo-Sound raus — in 48 kHz. Apple hat ein Framework vorgestellt, das genau das kann.
Der Mann hinter AlphaGo macht sein eigenes Ding. David Silver, Ex-DeepMind-Legende, hat mit seinem Startup Ineffable Intelligence in wenigen Monaten 1,1 Milliarden Dollar ...
Google schlägt Alarm: Öffentliche Webseiten werden gezielt mit versteckten Befehlen präpariert, die Enterprise-KI-Agenten übernehmen. Die Angriffsmethode heißt Indirect Prompt ...
Anthropic hat ein neues KI-Modell vorgestellt — und diesmal geht es nicht um Chatbots. Mythos soll Sicherheitslücken in Software aufspüren, bevor es Angreifer tun.
Together AI lässt KI-Agents gegeneinander antreten — und die liefern echte Ergebnisse. Die Plattform heißt EinsteinArena, und dort haben Agents bereits 11 neue Bestwerte auf ...
Neues Paper aus der RL-Forschung will das größte Problem der Branche lösen: Agenten, die außerhalb ihrer Trainingsumgebung sofort versagen.
Ausgerechnet Anthropic pocht jetzt aufs Urheberrecht. Nach einem massiven Code-Leak will das KI-Unternehmen Kopien seiner proprietären Software löschen lassen.
Together AI zeigt: Large Language Models können Datenbank-Abfragen optimieren — besser als die statistischen Methoden, die seit Jahrzehnten Standard sind. Bis zu 4,78x Speedup. ...