Yc

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.

Forschung • The Decoder

Produktivität

Wenn du ständig zwischen KI-Tools kopierst und einfügst, nutze einen Zwischenablage-Manager oder ein Tool wie Raycast, um den Arbeitsablauf zu optimieren.

OpenAI hat drei KI-generierte Mathematik-Papiere zurückgezogen, nachdem ein Vorzeichenfehler ein zentrales Argument ungültig gemacht hatte, nur einen Tag nachdem das Unternehmen mehr als 700 Manuskripte gleichzeitig veröffentlicht hatte. Die Association for Human Mathematics fordert einen Boykott, und der Fields-Medaillengewinner Terence Tao hat vor der Qualität von KI-generierten Beweisen gewarnt.

AI Research • Hacker News