Google Deepmind hat mit AlphaProof Nexus neun offene Erdős-Probleme autonom gelöst. Kosten pro Problem: ein paar hundert Dollar.
Anthropic legt nach. Nur Tage nach OpenAIs gefeiertem Erdős-Coup zeigt Claude Mythos: Auch ich kann das. Übers Wochenende. Mit "hübschem, einfachem Beweis".