Tag: mathématiques

Affichage 1-2 sur 2

Analyses de modèlesÉtats-Unis
Ouvrir
10 sept. 20266 min de lectureBrief sortie modèleIntermédiaire

Les mathématiciens demandent la preuve qu’OpenAI n’a pas entraîné ses modèles sur leurs travaux non publiés

Des mathématiciens ont demandé à OpenAI de démontrer que des brouillons privés ou des conversations n'ont pas été ingérés pour l'entraînement des modèles. Le reportage de The Verge documente la dispute publique mais ne publie pas d'éléments d'audit internes (logs, manifests, preuves cryptographiques) qui permettraient de trancher.

ActualitésÉtats-Unis
Ouvrir
23 août 20267 min de lectureBrief sortie modèleIntermédiaire

« Preuves » générées par l'IA et le défi de vérification pour les mathématiciens

Des modèles d'IA commencent à produire des sorties qui ressemblent à des preuves formelles, une surprise pour la communauté mathématique. Les équipes produit et fondatrices doivent traiter ces affirmations comme provisoires et exiger une vérification (machine ou indépendante) avant de changer un comportement, une sécurité ou un message public.