ActualitésÉtats-Unis
Ouvrir« 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.