AlphaProof Nexus dans Science : 9 problèmes d'Erdős résolus
Le système de démonstration AlphaProof Nexus de Google DeepMind paraît dans Science : 9 des 353 problèmes ouverts d'Erdős résolus et 44 des 492 conjectures de l'OEIS prouvées.
Le système de démonstration AlphaProof Nexus de Google DeepMind paraît dans Science : 9 des 353 problèmes ouverts d'Erdős résolus et 44 des 492 conjectures de l'OEIS prouvées.
Le PDG de Microsoft, Satya Nadella, avance cinq principes pour l'architecture de confiance de l'IA : séparer modèle et harness, contrôles externes, traces infalsifiables.
Cloudflare dévoile Clef-omni, un modèle de décision open source qui accepte directement audio et vidéo ; une vidéo sonore de 21 secondes est traitée en 1,5 s environ.
Selon une étude de Berkeley, après dix minutes d'exercices avec ChatGPT, retirer l'outil fait baisser les bonnes réponses et augmenter les questions sautées.
La série open source ArtCraft, écrite en Rust, imitait d’abord Adobe ; quatre dépôts s’y ajoutent pour Word, Excel, PowerPoint et AutoCAD.
OpenAI relève le contexte par défaut de GPT-6.1 Sol dans Codex et ChatGPT Work de 272 000 à 500 000 tokens afin de limiter la compaction du contexte.
Depuis le 9 octobre, Grok Bot attribue des boîtes mail dédiées sous mail.grokbot.com ; les comptes d'équipe nécessitent l'activation par un administrateur, et xAI n'a pas encore publié de documentation.
TUFA Labs domine le classement ARC-AGI-2 de la saison 2026 avec 88,06 % sur Kaggle, loin des 24,03 % du vainqueur NVARC l'an dernier.
Des centaines de portages pour navigateur sont apparus en quelques semaines grâce à la décompilation par IA, sans réaction publique des ayants droit.
Redwood Research a testé si la distillation pousse un modèle non fiable à « avouer » : sur un trait caché, le taux d’aveu de l’élève de 70B passe de 22 % à 84 %.