Neues KI-Startup löst vier langjährige Mathematikprobleme
Das Berliner Startup Axiom hat mit seiner KI vier seit Jahrzehnten ungelöste mathematische Probleme gelöst. Diese Durchbrüche zeigen, dass KI-Systeme zunehmend in der Lage sind, komplexe logische Aufgaben zu bewältigen.
