October 7, 2026 Claude-Discovered Algorithm Refutes 3SUM/APSP Conjectures; OpenAI Releases Proofs for Barnette and Unique Games; Erdős Problems Admin Steps Down Mistral Large 4Grace BlackwellClaude3SUM