Qu'est-ce que c'est ?
L'IA pour la science, ce sont des modèles qui accélèrent la découverte elle-même : proposer des hypothèses, démontrer des théorèmes, prédire la météo, trouver de nouveaux matériaux et lire toute la littérature en quelques minutes. Beaucoup de chercheurs pensent que c'est ici — et non dans les chatbots — que l'IA changera le plus le monde.
Outils et acteurs clés
- DeepMind — AlphaFold, GNoME (matériaux), GraphCast (météo), AlphaProof (mathématiques)
- OpenAI — modèles de frontière pour la recherche ; un programme d'accès gratuit pour 100 000 universitaires (dans nos articles)
- Anthropic — Claude pour le raisonnement scientifique et la recherche en sécurité
- FutureHouse et les projets de « co-scientifique IA » — agents de recherche autonomes
Jalons
- 2020 — AlphaFold2 : première percée scientifique de l'IA digne d'un Nobel
- 2023 — GNoME prédit 2,2 millions de nouveaux cristaux ; GraphCast dépasse les agences météo
- 2024 — AlphaProof atteint le niveau médaille d'argent aux Olympiades de mathématiques
- 2025 — Les LLM atteignent le niveau or de l'IMO ; les agents « co-scientifiques » produisent des hypothèses validées en laboratoire
- 2026 — Claude découvre des faiblesses de chiffrement passées inaperçues ; OpenAI ouvre ses modèles de frontière à 100 000 chercheurs (les deux dans nos articles)
- Août 2026 — Aperçu d'Astra d'OpenAI : des équipes d'agents résolvent dix problèmes ouverts de mathématiques et d'informatique théorique, avec des preuves vérifiables par machine en Lean (dans nos articles)
- Août 2026 — Des mathématiciens nommément cités contestent les crédits de plusieurs de ces preuves ; OpenAI atténue son affirmation “aucun progrès depuis dix ans” (notre couverture)
- Août 2026 — Premiers génomes complets conçus par IA : 16 bactériophages fonctionnels, publiés dans Science (dans nos articles)
- Août 2026 — Le modèle de cyclones WeatherNext de DeepMind, publié dans Nature, est utilisé en opérationnel par le Centre national des ouragans américain et publié à poids ouverts sous Apache 2.0 (dans nos articles)
- Août 2026 — Un Claude non publié porte la borne des zéros de l'hypothèse de Riemann de 41,6 % à 67,2 %, le plus grand bond jamais enregistré, avec une preuve vérifiable par machine (dans nos articles)
- Août 2026 — Palomar ouvre aux soumissions : les mathématiques disposent d'un registre qui vérifie par machine les preuves en Lean et fait confirmer par un modèle de langage que l'énoncé en langage courant correspond (dans nos articles)
Mini-glossaire
- Co-scientifique : agent IA qui propose des hypothèses et aide à les tester
- Modèle de fondation : un grand modèle adapté à de nombreuses tâches scientifiques
- Benchmark : test standardisé pour comparer les capacités des modèles