#erlang

2 articles · Tous les tags

📰 Digests

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

October 6, 2026

Reflection publie 501B de poids ouverts ; Un journal intime écrit dans Claude et signalé à la police se solde par une inculpation pour crime ; Qualcomm obtient une licence sur les brevets LogicFolding de Huawei

Reflection AIBeam501Bpoids ouverts