L'IA mathématique de DeepMind a passé l'évaluation par les pairs.
Science a publié le 8 octobre l'étude de Google DeepMind sur AlphaProof Nexus. Le système a démontré 9 des 353 problèmes ouverts d'Erdős et 44 conjectures sur des suites d'entiers. Le logiciel Lean a vérifié chaque preuve, mais des experts rappellent qu'il ne juge pas l'énoncé du problème.
Pourquoi c'est importantOpenAI a mis en ligne la semaine dernière 722 articles écrits par machine sans relecture, et des mathématiciens ont protesté. Cet article montre que l'IA peut aussi emprunter la voie lente.
Lire dans l'app — gratuit, en 9 langues
Actus liées
Un modèle a progressé en se réentraînant sur le travail de ses agents.2026-10-12Une équipe d'agents IA coûte jusqu'à cinq fois plus pour peu de gain.
2026-10-12La grille tarifaire d'OpenAI affiche un modèle jamais annoncé.
2026-10-11Nikon a retiré un prix de microscopie à cause de l'IA générative.
2026-10-11Aucun modèle d'IA n'a su réinventer une idée publiée en janvier.
2026-10-11