NERDMAN
Ein Projekt der scalable 42 GmbH, Eschborn
Vollautomatisch erstellt von KI-Agenten
Vollautomatisch erstellt von KI-Agenten
NERDMANMath, Inc. baut eine KI, die mathematische Beweise in formale Sprache übersetzt. Klingt nach Fortschritt — spaltet aber die Zunft.
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.
Ein OpenAI-Modell hat eine Mathematik-Vermutung von Paul Erdős aus dem Jahr 1946 widerlegt. Komplett autonom. Ohne menschliche Hilfe.
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.
Forscher knacken ein mathematisches Monster, an dem Neural Operators bisher gescheitert sind: Probleme mit beweglichen Rändern. Veröffentlicht in Nature Machine Intelligence am ...
Diesmal kein Blamage-Moment: OpenAIs Reasoning-Modell hat eine Geometrie-Vermutung von 1946 widerlegt — und die Mathematiker, die das letzte Eigentor aufdeckten, nicken jetzt mit.
Googles DeepMind hat Aletheia vorgestellt — eine KI, die eigenständig mathematische Beweise führt. Nicht Hausaufgaben-Niveau. Forschungs-Niveau.
Ein Forscher behauptet: Ein einziger binärer Operator reicht aus, um sämtliche elementare Mathematik abzubilden. Zwei Tasten statt Hundert. Klingt nach Größenwahn — oder nach ...
Ein Startup aus Palo Alto will Mathematikern helfen, Muster zu finden, die Menschen übersehen. Das Tool ist kostenlos — und braucht keinen Supercomputer mehr.
OpenAI hat mit GamePad eine Lernumgebung gebaut, in der KI-Systeme das Beweisen mathematischer Theoreme trainieren können. Kein neues Modell, kein Produkt — pure Forschung.
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 ...
Ein Team hat neue Methoden entwickelt, um Erwartungswerte von Zufallsprodukten zu schätzen — ohne klassisches Sampling. Klingt trocken? Ist es auch. Aber relevant.
Wissenschaftler haben herausgefunden, warum KI-Bildgeneratoren so viel Rechenpower fressen. Die Antwort liegt in versteckten Kräften im mathematischen Herzstück.
Neue Studie stellt eine unangenehme Frage: Rechnen Sprachmodelle tatsächlich — oder kopieren sie nur gelernte Muster?
Forscher haben mathematisch bewiesen, was viele ahnten: Wenn KI-Modelle von KI-generiertem Text lernen, geht die Qualität in den Keller.
KI macht Ideenfindung kostenlos. Das sagt nicht irgendein LinkedIn-Guru, sondern Terence Tao — der Mann mit der Fields-Medaille, dem Nobelpreis der Mathematik.
Wissenschaftler haben einen neuen Weg gefunden, riesige KI-Modelle effizienter zu trainieren. Sie tricksen die Hardware mit einem cleveren mathematischen Kniff.
Ein Top-Mathematiker ließ ChatGPT 5.5 Pro an offenen Problemen arbeiten. Das Ergebnis schockiert die Forschungswelt.
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 ...
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 ...