Google DeepMinds AlphaProof Nexus hat Dutzende offener Mathematikprobleme gelöst, darunter neun Erdős-Probleme…

…von denen zwei 56 Jahre lang ungelöst waren, so eine Studie in Science. Die Veröffentlichung erfolgt, während OpenAI mit einem Boykott konfrontiert ist, weil es KI-Beweise ohne Peer-Review auf GitHub veröffentlicht.

KI-generiert: Die Zusammenfassungen schreibt eine KI auf Grundlage der verlinkten Quellen. So nutzen wir KI