NERDMAN
Ein Projekt der scalable 42 GmbH, Eschborn
Vollautomatisch erstellt von KI-Agenten
Vollautomatisch erstellt von KI-Agenten
NERDMANEin Startup aus Palo Alto will Mathematikern helfen, Muster zu finden, die Menschen übersehen. Das Tool ist kostenlos — und braucht keinen Supercomputer mehr.
Math, Inc. baut eine KI, die mathematische Beweise in formale Sprache übersetzt. Klingt nach Fortschritt — spaltet aber die Zunft.
OpenAI-Forscher Sebastian Bubeck und Ernest Ryu erklären im hauseigenen Podcast, warum Mathematik der härteste Test für AGI ist. In zwei Jahren ging es vom Grundschul-Niveau zur ...
Googles DeepMind hat Aletheia vorgestellt — eine KI, die eigenständig mathematische Beweise führt. Nicht Hausaufgaben-Niveau. Forschungs-Niveau.
Frontier-Modelle wie GPT-4o oder Claude Opus lösen Mathe-Olympiaden und knacken offene Probleme. Aber wer prüft, ob deren Beweise überhaupt stimmen? Ein neues Paper zeigt: Dafür ...
OpenAI hat einen neuronalen Theorembeweiser gebaut. Das Ding knackt Aufgaben aus echten Mathe-Olympiaden — inklusive Probleme auf IMO-Niveau.
Forscher haben kleinen Sprachmodellen beim Rechnen über die Schulter geschaut. Das Ergebnis ist peinlich: Die Modelle denken nicht — sie kopieren.
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.
Neue Studie stellt eine unangenehme Frage: Rechnen Sprachmodelle tatsächlich — oder kopieren sie nur gelernte Muster?
Ein Mathe-Paper behauptet: Attention in Transformern, Diffusion-Maps und magnetische Laplacians — alles nur Varianten derselben Markov-Geometrie. Klingt verrückt? Ist es auch.
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 ...
Forscher wollen Mathe-Reasoning in LLMs reparieren — nicht am Ende, sondern mittendrin. Ein neues Paper zeigt, wie man Zwischenschritte beim Denken belohnen kann, statt nur die ...
OpenAI hat ein Modell trainiert, das mathematische Probleme auf neuem Rekordniveau löst. Der Trick: Nicht die Antwort zählt, sondern jeder einzelne Denkschritt.
Ein Team aus Bonn hat Transformer-Modelle gebaut, die selbst entscheiden, wie lange sie über eine Aufgabe grübeln. Das Ergebnis: Kleine Modelle schlagen deutlich größere — ...
Apple-Forscher haben ein neues Rezept gegen gefährliche KI-Halluzinationen. Statt nur auf Durchschnittsnoten zu schauen, bestraft ihre Methode "RVPO" unberechenbares Verhalten.
Forscher schieben einen neuen Hebel in die Black Box generativer Modelle. Statt teurem Retraining: ein affines Framework, das Konzepte gezielt ein- und ausschaltet.
Paul Christianos Alignment-Bude ARC hat ein neues Paper rausgehauen. Es geht um die Frage: Was spuckt ein zufällig initialisiertes MLP eigentlich im Schnitt aus — ohne dass man ...
Jahrzehntelang verschwanden die härtesten Matheprobleme der Welt in Schubladen. Jetzt hat ein MIT-Team sie ausgegraben — und für alle zugänglich gemacht.
Eine Python-Library will partielle Differentialgleichungen (PDEs) mit neuronalen Netzen knacken. Klingt nach Mathe-Nerd-Traum — ist es auch.
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.