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
Un développeur web a résolu par l'IA une conjecture de 50 ans.2026-09-20Le modèle de Zhipu a triplé la vitesse du système qui le sert.
2026-09-19Alibaba a ouvert un modèle qui repère 146 maladies au scanner.
2026-09-19Un laboratoire testera gratuitement 5 000 protéines conçues par IA.
2026-09-19Claude a passé un mois à accélérer la conception de protéines.
2026-09-19