#ask hn

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

September 30, 2026

OpenAI dégaine trois annonces en une journée : GPT 6.1 Sol promet une intelligence proche d'Astra pour un cinquième du prix, le forfait Pro à 500 dollars arrive tandis que l'ancien forfait à 200 dollars est réduit de moitié, Dots rend les agents permanents ; Delhi réduit ses pertes de réseau électrique de 50 % à 5 % en vingt ans

GPT 6.1 SolOpenAIAstraChatGPT Pro 500