Terence Tao bâtit des modèles de maths sans patron industriel.
Le mathématicien a annoncé le 18 septembre l'initiative de modèles mathématiques ouverts de SAIR. La fondation entraînera des modèles à poids ouverts pour vérifier des preuves et chercher des références. La société XTX Markets finance, et les mathématiciens fixeront eux-mêmes les objectifs.
Pourquoi c'est importantLes meilleurs modèles de mathématiques vivent dans des produits qu'aucun chercheur ne peut ouvrir. Un modèle ouvert permettrait à chaque université de vérifier ce que la machine a fait.
▶ Vidéo associée: Terence Tao: SAIR’s Open Math Model Initiative
Lire dans l'app — gratuit, en 9 langues
Actus liées
Cinquante agents IA ont inventé la bureaucratie dans Minecraft.2026-10-30OpenAI dit que sa surveillance aurait repéré sa propre faille à temps.
2026-10-30Des experts ont suivi le choix caché de leur IA dans 86 % des cas.
2026-10-28Anthropic prête gratuitement son IA interne aux labos de biologie.
2026-10-28Des agents d'IA ont vérifié la plus longue preuve des mathématiques.
2026-10-28