KI News Neues KI-Framework löst komplexe mathematische Probleme für geringe Kosten Google Deepminds AlphaProof Nexus hat erfolgreich neun von 353 Erdős-Problemen gelöst, darunter zwei seit 56 Jahren ungelöste Fragen.... KI Snack 1 min 25. Mai. 2026