October 7, 2026 Claude가 발견한 알고리즘으로 3SUM/APSP 추측 반박; OpenAI, Barnette 및 Unique Games 증명 공개; 에르되시 문제 사이트 관리자 운영 중단 선언 Mistral Large 4Grace BlackwellClaude3SUM