AI News

Google redéfinit la découverte scientifique avec Gemini 3 Deep Think et Aletheia

Le paysage de l'intelligence artificielle a radicalement changé cette semaine alors que Google DeepMind dévoile une suite d'avancées révolutionnaires visant à résoudre les défis scientifiques les plus complexes de l'humanité. Au premier plan de cette version se trouve Gemini 3 Deep Think, un modèle de raisonnement amélioré qui exploite la mise à l'échelle au moment de l'inférence (inference-time scaling) pour surpasser ses concurrents, et Aletheia, un agent IA spécialisé qui est passé avec succès de la résolution de problèmes des Olympiades de mathématiques à la génération de recherches autonomes publiables.

Cette double sortie marque un moment charnière où l'IA dépasse la simple assistance pour entrer dans le domaine de la découverte indépendante, remettant en question les références établies et fixant de nouvelles normes pour ce que les agents autonomes peuvent accomplir en physique théorique, en mathématiques avancées et en conception de médicaments.

Gemini 3 Deep Think : Maîtriser l'art de « réfléchir plus longtemps »

Au cœur de ces nouvelles capacités se trouve le modèle amélioré Gemini 3 Deep Think. Google a fondamentalement réorganisé le mode de raisonnement du modèle, en se concentrant sur une technique connue sous le nom de « mise à l'échelle au moment de l'inférence » (inference-time scaling). Cette approche permet au modèle d'allouer plus de ressources de calcul pendant la phase de requête — en « réfléchissant plus longtemps » — pour explorer plusieurs chemins de raisonnement avant de s'engager sur une réponse.

Les résultats de ce changement architectural sont stupéfiants. Dans des comparaisons directes, Gemini 3 Deep Think aurait surpassé des concurrents majeurs, notamment le GPT-5.2 d'OpenAI et le Claude Opus 4.6 d'Anthropic, à travers une variété de tests rigoureux. La compétence du modèle est particulièrement évidente dans les tâches nécessitant une déduction logique profonde et une compréhension multimodale.

Points forts des performances :

  • ARC-AGI-2 : A obtenu des scores de haut niveau dans des puzzles visuels nécessitant un raisonnement abstrait.
  • CMT-Benchmark : A obtenu un score de 50,5 % en physique théorique, démontrant une compréhension profonde de concepts scientifiques complexes.
  • Efficacité : L'itération de janvier 2026 de Deep Think a réduit la puissance de calcul nécessaire pour les problèmes de niveau Olympiade par 100 par rapport à son prédécesseur de 2025.

Ce gain d'efficacité est critique. En optimisant la manière dont le modèle traite l'information, Google a rendu le raisonnement de haut niveau accessible pour des applications pratiques, permettant aux ingénieurs de modéliser des systèmes physiques via du code et aidant les chercheurs à interpréter de vastes ensembles de données incomplets.

Aletheia : Le premier véritable mathématicien IA

Alors que Gemini 3 Deep Think fournit l'épine dorsale du raisonnement, Aletheia représente l'application spécialisée de cette puissance. Conçu pour combler le « fossé d'évaluation » entre les mathématiques de compétition et la recherche professionnelle, Aletheia est un agent IA capable de naviguer dans l'ambiguïté des problèmes mathématiques ouverts.

Contrairement aux solveurs traditionnels qui excellent dans des questions bien définies, Aletheia fonctionne via une Boucle agentique (Agentic Loop) sophistiquée. Cette architecture imite le flux de travail d'un mathématicien humain, décomposant le processus de résolution de problèmes en phases distinctes.

L'architecture agentique

Pour garantir la précision et réduire les « hallucinations » (hallucinations) courantes dans les grands modèles de langage (Large Language Models - LLMs), Aletheia utilise un système tripartite :

  1. Générateur (Generator) : Propose des solutions candidates et des stratégies de preuve pour un problème de recherche donné.
  2. Vérificateur (Verifier) : Un mécanisme informel en langage naturel qui examine la proposition à la recherche de failles logiques ou d'erreurs de citation.
  3. Réviseur (Reviser) : Corrige de manière itérative les erreurs identifiées par le Vérificateur jusqu'à ce que le résultat réponde à des normes logiques strictes.

Cette séparation des tâches permet au système de détecter ses propres erreurs — un trait qui était auparavant un obstacle majeur pour l'IA dans les sciences formelles. De plus, Aletheia utilise Google Search pour vérifier les citations, s'assurant qu'il fait référence à la littérature mathématique réelle plutôt que de fabriquer des sources.

Historique de l'analyse comparative : Aletheia contre le reste du domaine

L'impact de l'approche agentique d'Aletheia est mieux illustré par ses performances sur l'IMO-ProofBench Advanced, une référence considérée comme l'étalon-or pour le raisonnement mathématique automatisé.

Tableau 1 : Performance comparative sur les références mathématiques

Référence SOTA précédent Performance d'Aletheia Facteur d'amélioration
IMO-ProofBench Advanced 65,7 % 95,1 % +29,4 %
FutureMath Basic (Niveau Doctorat) < 60 % (Est.) État de l'art Bond significatif
Problèmes ouverts d'Erdős 0 résolu 4 résolus de manière autonome Gain infini

Le bond vers une précision de 95,1 % sur l'IMO-ProofBench Advanced n'est pas seulement une amélioration incrémentielle ; c'est un changement de paradigme qui suggère que l'IA peut désormais traiter de manière fiable des mathématiques basées sur des preuves à un niveau auparavant réservé aux experts humains d'élite.

Résoudre l'insoluble : Percées en recherche autonome

Le véritable test des capacités d'Aletheia ne réside pas dans la réussite d'examens, mais dans la génération de nouvelles connaissances. Google DeepMind a rapporté que l'agent a déjà réalisé plusieurs « premières » dans le domaine des mathématiques.

Plus particulièrement, Aletheia a généré de manière autonome un article de recherche, baptisé Feng26, qui calcule des constantes structurelles connues sous le nom d'« eigenweights » en géométrie arithmétique. Cet article a été produit sans intervention humaine et a été classé comme autonomie de « Niveau A2 » — essentiellement autonome et de qualité publiable.

De plus, lorsqu'il a été déployé contre les célèbres conjectures d'Erdős (Erdős conjectures) — une liste de problèmes mathématiques ouverts posés par le prolifique Paul Erdős — Aletheia a trouvé 63 solutions techniquement correctes et a entièrement résolu 4 questions auparavant ouvertes. Cette capacité à contribuer par des vérités originales à l'ensemble des connaissances humaines valide le potentiel du modèle en tant que partenaire collaboratif pour les scientifiques.

Au-delà des mathématiques : Accélérer la conception de médicaments avec IsoDDE

Les avancées de Gemini 3 Deep Think s'étendent au-delà des mathématiques abstraites pour toucher le monde tangible de la biochimie. Aux côtés d'Aletheia, Google a introduit IsoDDE (Isomorphic Drug Design Engine), un nouvel outil de sa filiale Isomorphic Labs.

IsoDDE s'appuie sur l'héritage d'AlphaFold, surpassant AlphaFold 3 par un facteur de deux en précision de prédiction. Sa percée principale est la capacité de prédire l'affinité de liaison (binding affinity) des médicaments avec une précision sans précédent. En identifiant des « poches » cachées dans les structures protéiques où les molécules de médicament peuvent se fixer, IsoDDE offre un cadre évolutif pour concevoir des traitements pour des systèmes biologiques complexes, y compris des anticorps et de grandes structures biologiques.

Définir une nouvelle norme pour l'autonomie de l'IA

Avec ces versions, Google DeepMind pousse également pour une manière normalisée de catégoriser les contributions de l'IA. La société a proposé une nouvelle Taxonomie pour l'autonomie de l'IA (Taxonomy for AI Autonomy), calquée sur les niveaux utilisés pour les véhicules autonomes.

  • Niveau 0 (Principalement humain) : L'IA offre une nouveauté négligeable (par exemple, des solveurs standard d'Olympiades).
  • Niveau 1 (Collaboration) : L'IA fournit une stratégie « globale », mais les humains réalisent les preuves rigoureuses.
  • Niveau 2 (Essentiellement autonome) : L'IA génère des recherches publiables avec peu ou pas de supervision humaine (par exemple, l'article Feng26).

Ce cadre fournit à l'industrie un vocabulaire nécessaire pour distinguer l'IA qui se contente de récupérer des informations de l'IA qui les crée. Alors que Gemini 3 Deep Think et Aletheia commencent à peupler les revues scientifiques de leurs découvertes, la distinction entre la découverte humaine et machine est appelée à devenir de plus en plus floue, annonçant une nouvelle ère d'innovation accélérée.

Vedettes
ThumbnailCreator.com
Outil alimenté par IA pour créer rapidement et facilement des miniatures YouTube époustouflantes et professionnelles.
Video Watermark Remover
AI Video Watermark Remover – Clean Sora 2 & Any Video Watermarks!
AdsCreator.com
Générez instantanément des créations publicitaires soignées et conformes à la marque à partir de n’importe quelle URL pour Meta, Google et Stories.
Refly.ai
Refly.AI permet aux créateurs non techniques d'automatiser des workflows en utilisant le langage naturel et une toile visuelle.
VoxDeck
Créateur de présentations IA menant la révolution visuelle
BGRemover
Supprimez facilement les arrière-plans d'images en ligne avec SharkFoto BGRemover.
Flowith
Flowith est un espace de travail agentique basé sur un canevas qui offre gratuitement 🍌Nano Banana Pro et d'autres modèl
FineVoice
Transformez le texte en émotion — Clonez, concevez et créez des voix IA expressives en quelques secondes.
Skywork.ai
Skywork AI est un outil innovant pour améliorer la productivité grâce à l'IA.
Qoder
Qoder est un assistant de codage propulsé par l'IA qui automatise la planification, le codage et les tests des projets logiciels.
FixArt AI
FixArt AI propose des outils d'IA gratuits et sans restriction pour la génération d'images et de vidéos, sans inscription.
Elser AI
Studio web tout‑en‑un qui transforme textes et images en art anime, personnages, voix et courts‑métrages.
Pippit
Élevez votre création de contenu avec les puissants outils d'IA de Pippit !
SharkFoto
SharkFoto est une plateforme tout-en-un alimentée par l'IA pour créer et éditer efficacement des vidéos, images et musiques.
Funy AI
Animez vos fantasmes ! Créez des vidéos IA de baisers ou bikinis à partir d'images/textes. Essayez le changeur de vêteme
KiloClaw
Agent OpenClaw hébergé : déploiement en un clic, plus de 500 modèles, infrastructure sécurisée et gestion automatisée des agents pour les équipes et les développeurs.
Diagrimo
Diagrimo transforme instantanément le texte en diagrammes et visuels personnalisables générés par IA.
SuperMaker AI Video Generator
Créez des vidéos, de la musique et des images époustouflantes sans effort avec SuperMaker.
AI Clothes Changer by SharkFoto
AI Clothes Changer de SharkFoto vous permet d'essayer virtuellement des tenues instantanément, avec un ajustement, une texture et un éclairage réalistes.
Yollo AI
Discutez et créez avec votre compagnon IA. Image vers vidéo, génération d'images IA.
AnimeShorts
Créez facilement des courts-métrages d'anime époustouflants grâce à des technologies d'IA de pointe.
HappyHorseAIStudio
Générateur de vidéos IA basé sur le navigateur pour le texte, les images, les références et le montage vidéo.
InstantChapters
Générez instantanément des chapitres de livre captivants avec Instant Chapters.
NerdyTips
Une plateforme de pronostics football alimentée par l’IA, fournissant des conseils de match basés sur les données pour les championnats du monde entier.
WhatsApp AI Sales
WABot est un copilote de vente IA pour WhatsApp qui fournit des scripts en temps réel, des traductions et la détection d'intention.
happy horse AI
Générateur vidéo IA open source qui crée des vidéos et de l'audio synchronisés à partir de texte ou d'images.
insmelo AI Music Generator
Générateur de musique piloté par IA qui transforme des prompts, paroles ou fichiers uploadés en chansons polies et sans redevances en environ une minute.
AI Video API: Seedance 2.0 Here
API vidéo IA unifiée offrant des modèles de génération de pointe via une seule clé, à moindre coût.
wan 2.7-image
Un générateur d’images IA contrôlable pour des visages précis, des palettes, du texte et une continuité visuelle.
BeatMV
Plateforme d'IA basée sur le web qui transforme des chansons en clips musicaux cinématographiques et crée de la musique avec l'IA.
Kirkify
Kirkify AI crée instantanément des mèmes viraux de changement de visage avec une esthétique néon-glitch signature pour les créateurs de mèmes.
UNI-1 AI
UNI-1 est un modèle unifié de génération d'images combinant raisonnement visuel et synthèse d'images haute fidélité.
Text to Music
Transformez du texte ou des paroles en chansons complètes de qualité studio avec des voix générées par IA, des instruments et des exports multi‑pistes.
Iara Chat
Iara Chat : Un assistant de productivité et de communication alimenté par l'IA.
Wan 2.7
Modèle vidéo IA de qualité professionnelle avec contrôle précis des mouvements et cohérence multi-vues.
Tome AI PPT
Créateur de présentations alimenté par l'IA qui génère, embellit et exporte des diaporamas professionnels en quelques minutes.
kinovi - Seedance 2.0 - Real Man AI Video
Générateur vidéo IA gratuit avec rendu humain réaliste, sans filigrane et droits d'utilisation commerciale complets.
Lyria3 AI
Générateur de musique IA qui crée instantanément des chansons entièrement produites et haute fidélité à partir de prompts textuels, de paroles et de styles.
Video Sora 2
Sora 2 AI transforme du texte ou des images en vidéos courtes, physiquement exactes, pour les réseaux sociaux et le e‑commerce en quelques minutes.
Atoms
Plateforme pilotée par l'IA qui construit des applications et sites full‑stack en quelques minutes grâce à l'automatisation multi‑agents, sans codage requis.
AI Pet Video Generator
Créez des vidéos d'animaux virales et faciles à partager à partir de photos en utilisant des modèles pilotés par l'IA et des exportations HD instantanées pour les plateformes sociales.
Ampere.SH
Hébergement OpenClaw géré et gratuit. Déployez des agents IA en 60 secondes avec 500 $ de crédits Claude.
Paper Banana
Outil propulsé par l'IA pour convertir instantanément du texte académique en diagrammes méthodologiques prêts pour publication et graphiques statistiques précis.
Hitem3D
Hitem3D convertit une image unique en modèles 3D haute résolution, prêts pour la production, grâce à l'IA.
HookTide
Plateforme de croissance LinkedIn propulsée par l'IA qui apprend votre voix pour créer du contenu, engager et analyser les performances.
GenPPT.AI
Générateur de PPT piloté par l'IA qui crée, embellit et exporte des présentations PowerPoint professionnelles avec notes du présentateur et graphiques en quelques minutes.
Create WhatsApp Link
Générateur gratuit de liens et QR WhatsApp avec analytics, liens de marque, routage et fonctionnalités de chat multi‑agents.
Palix AI
Plateforme IA tout‑en‑un pour les créateurs, permettant de générer images, vidéos et musiques avec des crédits unifiés.
Gobii
Gobii permet aux équipes de créer des travailleurs numériques autonomes 24/7 pour automatiser la recherche web et les tâches routinières.
Seedance 20 Video
Seedance 2 est un générateur vidéo IA multimodal offrant des personnages cohérents, une narration multi-plans et de l'audio natif en 2K.
Veemo - AI Video Generator
Veemo AI est une plateforme tout-en-un qui génère rapidement des vidéos et des images de haute qualité à partir de texte ou d'images.
AI FIRST
Assistant IA conversationnel automatisant la recherche, les tâches navigateur, le web scraping et la gestion de fichiers via le langage naturel.
WhatsApp Warmup Tool
Outil de préchauffage WhatsApp propulsé par l'IA qui automatise l'envoi en masse tout en empêchant les blocages de comptes.
AirMusic
AirMusic.ai génère des morceaux de musique IA de haute qualité à partir d'invites textuelles avec personnalisation du style et de l'humeur, et export de stems.
GLM Image
GLM Image combine des modèles hybrides autorégressifs et de diffusion pour générer des images IA haute fidélité avec un rendu de texte exceptionnel.
Manga Translator AI
AI Manga Translator traduit instantanément des images de manga en plusieurs langues en ligne.
TextToHuman
Humaniseur IA gratuit qui réécrit instantanément les textes générés par IA en écriture naturelle et semblable à celle d'un humain. Aucune inscription requise.
ainanobanana2
Nano Banana 2 génère des images 4K de qualité professionnelle en 4–6 secondes avec un rendu précis du texte et une cohérence des sujets.
Free AI Video Maker & Generator
Créateur et générateur de vidéos IA gratuit – illimité, sans inscription
Remy - Newsletter Summarizer
Remy automatise la gestion des newsletters en résumant les e-mails en informations digestes.
Telegram Group Bot
TGDesk est un bot Telegram tout-en-un pour les groupes, conçu pour capter des leads, augmenter l'engagement et développer les communautés.

Google dévoile Gemini 3 Deep Think et Aletheia, un mathématicien IA

Google améliore Gemini 3 Deep Think pour les tâches scientifiques complexes et lance Aletheia, un agent IA qui a résolu 91,9 % des problèmes de mathématiques avancées.