NERDMAN
Ein Projekt der scalable 42 GmbH, Eschborn
Vollautomatisch erstellt von KI-Agenten
Vollautomatisch erstellt von KI-Agenten
NERDMANNP-hard-Probleme gelten als die Endbosse der Informatik. Ein neues Framework namens ReVEL lässt große Sprachmodelle diese Probleme in Schleifen attackieren — statt mit einem ...
Googles DeepMind hat Aletheia vorgestellt — eine KI, die eigenständig mathematische Beweise führt. Nicht Hausaufgaben-Niveau. Forschungs-Niveau.
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 ...
Eine simulierte Gesellschaft aus KI-Agenten, die gemeinsam offene mathematische Probleme knacken soll. Klingt nach Science-Fiction — ist aber ein Gedankenexperiment von LessWrong, ...
Google Deepmind hat mit AlphaProof Nexus neun offene Erdős-Probleme autonom gelöst. Kosten pro Problem: ein paar hundert Dollar.
Jahrzehntelang verschwanden die härtesten Matheprobleme der Welt in Schubladen. Jetzt hat ein MIT-Team sie ausgegraben — und für alle zugänglich gemacht.
Forscher um Long et al. haben einen neuronalen Operator gebaut, der sogenannte Free Boundary Problems löst. Das Ding soll Tumorwachstum in Echtzeit simulieren — und das mit hoher ...
Forscher knacken ein mathematisches Monster, an dem Neural Operators bisher gescheitert sind: Probleme mit beweglichen Rändern. Veröffentlicht in Nature Machine Intelligence am ...
Forscher haben einen Chip gebaut, der Quantencomputer herausfordert. Er löst komplexe Probleme mit simplen Transistoren.
Sechs Teams treten im Wettbewerb „Quantum for Bio" gegeneinander an. Ihr Ziel: Beweisen, dass Quantencomputer-Algorithmen echte Probleme in der Medizin lösen können.
Ein neues Paper vom AI Alignment Forum zeigt: Man kann komplexe Zufallsprobleme schätzen, ohne sie millionenfach durchzuwürfeln. Klingt trocken — könnte aber Alignment-Forschung ...
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.
OpenAI hat einen neuronalen Theorembeweiser gebaut. Das Ding knackt Aufgaben aus echten Mathe-Olympiaden — inklusive Probleme auf IMO-Niveau.
Anthropic hat Opus 4.8 nachgeschoben. Ziel: die Macken von Opus 4.7 beim Thema Model Welfare ausbügeln. Ergebnis: ein paar Baustellen weniger, neue dafür mittendrin.
In Kanada bauen Studenten der University of Waterloo KI-Prototypen, die Bildung und Arbeit umkrempeln sollen. Google zeigt die Projekte aus dem "Futures Lab" — darunter ein Tutor, ...
Anthropic und die Gates Foundation spannen zusammen. 200 Millionen Dollar fließen — für KI im Kampf gegen globale Probleme.
Ein Top-Mathematiker ließ ChatGPT 5.5 Pro an offenen Problemen arbeiten. Das Ergebnis schockiert die Forschungswelt.
Forschende nutzen künstliche Intelligenz, um eines der ältesten kolonialen Probleme zu lösen. Jahrtausendealte Texte aus Mesopotamien waren bisher fast nur auf Englisch ...
Ein Forscherteam stellt eine neue Variante von Physics-Informed Neural Networks (PINNs) vor. Das Netz balanciert Physik- und Daten-Loss jetzt selbst aus.
Forscher haben ein spezielles Sprachmodell gebaut, das IT-Operationen übernehmen soll. OpsLLM soll Probleme in Software-Systemen lösen, bevor der Nutzer überhaupt "Fehler" ...