October 7, 2026 Claude-Algorithmus widerlegt 3SUM/APSP-Vermutung; OpenAI veröffentlicht Beweise für Barnette und Unique Games; Erdos-Problems-Betreiber kündigt Rückzug an Mistral Large 4Grace BlackwellClaude3SUM