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 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.
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 ...
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.
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 ...
Neuronale Netze sind faul. Eine neue Studie zeigt jetzt mathematisch, warum Deep Learning systematisch die einfachsten Muster lernt — und komplexe ignoriert.
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 ein Modell trainiert, das mathematische Probleme auf neuem Rekordniveau löst. Der Trick: Nicht die Antwort zählt, sondern jeder einzelne Denkschritt.
Jahrzehntelang verschwanden die härtesten Matheprobleme der Welt in Schubladen. Jetzt hat ein MIT-Team sie ausgegraben — und für alle zugänglich gemacht.
KI-Forscher wollen lebende Zellen komplett simulieren. Ihr Werkzeug: Flow Matching — eine Methode, die gerade die Bioinformatik aufmischt.
Ein Entwickler hat ein funktionierendes Programm direkt in die Gewichte eines Transformers kompiliert. Kein Fine-Tuning, kein Training — pure Mathematik.
Ein Mathe-Paper behauptet: Attention in Transformern, Diffusion-Maps und magnetische Laplacians — alles nur Varianten derselben Markov-Geometrie. Klingt verrückt? Ist es auch.