Science et maths : dernières actualités de l’IA

L’IA dans les sciences et les mathématiques : démonstrations, découvertes et articles, avec un lien vers la recherche elle-même.

• 2 nov. Un modèle d'apprentissage profond estime le risque de mortalité et la trajectoire de vie à partir de simples photos de la rétine, selon un article de Nature
• 2 nov. CluSTER, du KAIST, réduit jusqu'à 69,6 % le temps d'affinage des LLM avec environ 31 % des données
• 1 nov. Des mathématiciens britanniques réunis à la Royal Society avertissent que les laboratoires d'IA pourraient garder des résultats derrière des accès payants
• 1 nov. Une méthode de l'UNIST entraîne de petits agents LLM à déduire des rôles cachés et fait passer leur taux de victoire à Loup-garou de 41,6 % à 65,6 %
• 31 oct. Balestriero et LeCun prouvent que des JEPA entraînés sur de « bonnes vues » apprennent la même représentation à une rotation près
• 31 oct. Un chercheur propose des « états de croyance généralisés » pour décoder et orienter ce que représentent les modèles de séquences
• 31 oct. Le World Laureates Forum s'ouvre à Shanghai ; Daubechies remporte le prix WLF de mathématiques et Lafforgue dit que les LLM résolvent certains problèmes ouverts
• 31 oct. Une équipe de l'université de Pékin porte le code DFT ABACUS sur le Kunpeng 920 de Huawei et annonce des gains jusqu'à 10,7 fois
• 30 oct. Epoch AI constate que 17 % des prépublications de biologie sur bioRxiv déclarent utiliser des LLM, contre 19 % pour les outils d'IA spécialisés
• 30 oct. OpenAI fermera Prism, son espace de travail LaTeX à IA pour scientifiques, le 1er janvier 2027
• 30 oct. Le SETI Institute et Breakthrough Listen confient à des agents d'IA le pilotage de l'Allen Telescope Array et l'analyse en temps réel
• 30 oct. Une prépublication réunit préentraînement, ajustement fin et RL dans un seul algorithme fondé sur la vraisemblance
• 30 oct. Le modèle Tianji d'Envision, inscrit sous le nom Arcana, se classe premier de l'AI Weather Quest de l'ECMWF pour les jours 19 à 25
• 30 oct. L'analyse par IA de 98 millions de cris de chauves-souris rend possible le plus grand inventaire forestier britannique
• 30 oct. Des agents d'IA collaboratifs choisissent une question, dérivent un résultat et le testent expérimentalement sur des spins quantiques dans le diamant
• 30 oct. Des modèles GPT de pointe proposent des résolutions candidates pour environ 60 % de 200 conjectures ouvertes tirées au hasard, selon une étude
• 30 oct. L'analyse du Ramanujan Challenge révèle qu'une soumission a démontré l'une de ses conjectures ouvertes publiées en théorie des nombres
• 30 oct. Balestriero et LeCun prouvent que des JEPA entraînés sur des modalités différentes apprennent la même représentation à une rotation près
• 29 oct. YC Labs fait tourner 50 agents GPT-6.1 Sol dans Minecraft pendant 3 heures ; ils bâtissent une bureaucratie du rationnement
• 29 oct. Une prépublication prouve que le nombre de van der Waerden w(2;3,21) vaut 416, preuve vérifiée par le noyau Lean 4
• 29 oct. The Biological Computing Co. lance Mischief 1, un modèle vidéo ajusté par des adaptateurs issus de neurones cultivés
• 28 oct. Anthropic étend son programme AI for Science à 20 fondations et instituts de recherche
• 27 oct. Axiom affirme que des agents IA ont formalisé en Lean la classification des groupes simples finis en 24 jours
• 27 oct. Anthropic publie un article revendiquant un algorithme en temps sous-exponentiel pour 3-SAT, avec une formalisation Lean 4
• 26 oct. Des chercheurs commencent à vérifier les affirmations d'OpenAI et d'Anthropic selon lesquelles l'IA a réfuté l'hypothèse du temps exponentiel
• 23 oct. Physical Superintelligence publie des résultats assistés par IA sur cinq problèmes quantiques ouverts, avec preuves Lean
• 21 oct. Environ 2 000 agents GPT-Rosalind analysent un atlas CRISPR du cerveau entier en 32 minutes
• 19 oct. NVIDIA et l'Institute for Protein Design publient RFD4-Proteina, modèle ouvert de conception de protéines
• 19 oct. Quantinuum annonce 99,9995 % de fidélité logique sur Helios, une correction d'erreurs dix fois meilleure
• 16 oct. Des enregistrements chez le singe montrent une alternance entre image perçue et supprimée environ 15 fois par seconde
• 15 oct. Google démontre la culture d'états magiques sur Willow et réduit l'erreur logique d'environ 40 fois
• 11 oct. AlphaProof Nexus de DeepMind résout 9 problèmes d'Erdős, dont deux ouverts depuis plus de 50 ans, avec preuves Lean
• 10 oct. OpenAI publie 722 manuscrits mathématiques produits par un modèle interne non publié
• 6 oct. Alman et Vassilevska Williams publient des algorithmes sous-quadratique pour 3SUM et sous-cubique pour APSP