Cheng Lou, Ex-React-Core-Entwickler und Schöpfer von react-motion, hat eine neue Browser-Bibliothek veröffentlicht. Pretext löst ein Problem, das Web-Devs seit Jahren nervt: die ...
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.
KI-Modelle können coden. Aber sie kennen ihre eigenen Updates nicht. Google hat jetzt einen simplen Fix dafür.
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.
Wer mit ChatGPT seine Mails schreibt, gilt als faul. Eine neue Browser-Erweiterung löst das Problem — indem sie Tippfehler einbaut.
Ein Forschungsteam hat ein Verfahren entwickelt, das die Rückseite von 3D-Objekten per Textbefehl steuert. Klingt nach Nische — löst aber eines der nervigsten Probleme der ...
Große Context Windows lösen nicht alles. Chroma hat das kapiert und liefert jetzt Context-1 — ein eigenes 20B-Modell, das Retrieval komplett neu denkt.
NVIDIA hat ein neues System vorgestellt, das KI-Agenten deutlich schneller trainieren soll. Der Name: ProRL Agent. Die Idee: Das Training von der eigentlichen Agent-Arbeit trennen.
Eine simulierte Gesellschaft aus KI-Agenten, die gemeinsam offene mathematische Probleme knacken soll. Klingt nach Science-Fiction — ist aber ein Gedankenexperiment von LessWrong, ...
OpenAI hat einen neuronalen Theorembeweiser gebaut. Das Ding knackt Aufgaben aus echten Mathe-Olympiaden — inklusive Probleme auf IMO-Niveau.
Anthropic hat einen neuen Benchmark gebaut — und der eigene Agent räumt ab. BioMysteryBench testet Claude an echten Forschungsproblemen aus der Bioinformatik.
Wired-Reporter hat seit Jahren keinen Roboter mehr gesehen, der ihn umgehauen hat. Bis jetzt. Eine Greifzange von Eka soll der ChatGPT-Moment für die physische Welt sein.
Die Envoy ist kein Spielzeug. Diese autonome Unterwasserdrohne schafft über 2000 Kilometer am Stück — angetrieben von einer Brennstoffzelle, nicht von Akkus.
Japan Airlines testet ab Mai humanoide Roboter am Tokioter Flughafen Haneda. Die Maschinen sollen Gepäck schleppen — weil menschliche Hände fehlen.
Sam Altman macht ernst. OpenAI löst sich aus der exklusiven Partnerschaft mit Microsoft — der wichtigsten Allianz der KI-Geschichte.
Microsoft und OpenAI bauen ihre Milliarden-Ehe um. Die Umsatzbeteiligung wird gedeckelt, Exklusivrechte fallen weg — und OpenAI darf jetzt auch mit anderen ins Bett.
Ein einzelner Transformer-Block, der sich selbst in Schleife aufruft — und trotzdem komplexe Rätsel knackt. Klingt nach Magie. Ist aber Mathe. Und ein Paper, das zeigt: Ohne ...
Forscher haben ein neues Framework für Multi-Task-Optimierung vorgestellt. MONET soll dort ansetzen, wo bisherige Algorithmen an ihre Grenzen stoßen — bei richtig vielen Aufgaben ...
Berkeley hat einen neuen Planungsalgorithmus für World Models vorgestellt. GRASP löst das Problem, das bisher jeden Gradienten-Planer bei längeren Horizonten zerstört hat: ...