October 7, 2026
Un algorithme découvert par Claude réfute les conjectures 3SUM et APSP ; OpenAI publie les preuves de Barnette et Unique Games ; Le gestionnaire d'Erdos Problems annonce son retrait
Mistral Large 4Grace BlackwellClaude3SUM
#polars 2.0
1 articles · Tous les tags
📰 Digests