AlphaProof Nexus de DeepMind résout 9 problèmes d'Erdős, dont deux ouverts depuis plus de 50 ans, avec preuves Lean
Les résultats sur 353 problèmes d'Erdős et 492 conjectures OEIS sont publics sur GitHub avec preuves vérifiées.

Les 15 tâches de Hillclimb sont notées par des vérificateurs privés ; Claude Fable 5.1 mène (1548 Elo) devant GPT-6 Astra (1232).
Les résultats sur 353 problèmes d'Erdős et 492 conjectures OEIS sont publics sur GitHub avec preuves vérifiées.
Disponible dans Microsoft Foundry, il traite des questions oui/non, à choix et à score ; il rejoint la Decisions API d'OpenAI sur ce créneau.
Le « mito-polariton » est déduit, non mesuré directement ; travail bioRxiv non relu, à répliquer.
Annoncés à Gemini at Work 2026, ils agissent sous leur propre identité Workspace ; préversion privée sans prix ni date.
La start-up discrète est dirigée par un ex-chercheur de Tencent ; tour non finalisé, DeepSeek sans commentaire.
Ting-Wei Sun a plaidé coupable de quatre chefs à Manhattan ; l'accusation évoque environ 2,5 milliards de matériel exporté sans licence.
La documentation décrit un coordinateur lançant des fils sur des branches séparées qui tournent ordinateur éteint ; bêta Pro et Max.
La lettre d'approbation de la FDA date du 8 octobre ; Teva annonce une disponibilité aux États-Unis sous quelques semaines.
Les patients plus autonomes (FAC 4) ont progressé en marche, équilibre et vitesse ; résultat de sous-groupe à confirmer.
Owain Evans et coauteurs rapportent un transfert partiel d'une porte dérobée et d'une propension au piratage via des suites de nombres ; prépublication non relue.
La règle exclut la frustration ordinaire, la fiction sombre et les tests ; la fin de conversation par Claude est le principal levier.