2026年10月7日 Claude 发现的算法推翻 3SUM/APSP 猜想；OpenAI 公开 Barnette 与 Unique Games 证明；Erdős 问题站站长准备退场 Mistral Large 4Grace BlackwellClaude3SUM
