Tech-Connect Actualités tech, tutoriels et astuces informatiques expliqués simplement
Mardi 6 octobre, 18 heures, heure de New York. Sans tambour ni trompette, OpenAI dépose sur GitHub un dossier baptisé tout sobrement « math ». À l’intérieur : 719 manuscrits de démonstrations mathématiques, regroupés en 372 « familles » de problèmes, tous produits par un modèle d’IA interne que personne, hors de l’entreprise, n’a jamais utilisé. Le lendemain, l’informaticien Scott …
Lire la suite »L’IA vient-elle de résoudre un grand problème de maths ? OpenAI déverse 719 preuves d’un coup
