Actualités et analyses : IA mathématique

2 articles vérifiés sur IA mathématique, les produits et le secteur.

Open source 2026-08-22

OpenBMB ouvre un modèle de formalisation 8B qui devance des rivaux 32B

OpenBMB publie en open source MathForm, un modèle 8B qui traduit les mathématiques en Lean 4 et dépasse des modèles de formalisation 32B sur le test le plus difficile, FATE-X.

#IA mathématique #Vérification formelle #LLM chinois

DeepMind 2026-04-22

L'IA Aletheia de DeepMind résout 6 problèmes mathématiques de niveau recherche

Aletheia, la dernière IA mathématique de DeepMind, a résolu 6 des 10 problèmes de recherche non publiés du défi FirstProof, dont 5 solutions ont été évaluées par des experts externes comme publiable après des révisions mineures.

#Google AI #Recherche IA #IA mathématique