Désormais, certains mathématiciens vérifient leurs théorèmes grâce à des logiciels informatiques - Science et vie
Cette actualité mérite d'être partagée
Envoyez-le à quelqu'un qui s'y intéresse, ou publiez-le sur vos réseaux.
Cet article est un extrait. Pour lire l'intégralité du contenu, consultez la source originale. Science et vie
Articles similaires
Ce que cette IA vient d’écrire va changer la science – OpenAI balance 722 théorèmes d’un coup - Résistance Républicaine
L’IA en titan de lumière qui écrit sur des tableaux infinis, pendant que Villani et Tao restent avec leurs bouts de craie cassés. C’est exactement ce qui s’est passé cette semaine. L’IA qui écrit au tableau infini pendant que les plus grands mathématiciens regardent, craies cassées à la main. C’est l’image de la semaine. Merci à Marcher sur des Oeufs qui a attiré notre attention sur cette prodigieuse découverte (voir en fin d’article)Ce que cette IA vient d’écrire va changer la science – OpenAI balance 722 théorèmes d’un coupUn dépôt GitHub de 722 manuscrits, 372 familles de résultats, 4 000 problèmes testés. Cette semaine, une IA interne d’OpenAI a prétendu résoudre des problèmes ouverts depuis des décennies. Même les médaillés Fields sont sous le choc. Explications pour comprendre ce qui vient de se passer. Que s’est-il vraiment passé le 6 octobre ? Dedans : 722 textes mathématiques. Regroupés en 372 familles. Couvrant 17 domaines des maths. C’est le résultat d’un test massif où environ 4 000 problèmes ouverts ont été soumis à un modèle interne qui n’est toujours pas disponible au public. Chaque résultat retenu aurait demandé en moyenne 3 heures de calcul équivalent ChatGPT Pro.
Les mathématiciens désemparés face aux progrès de l'IA - franceinfo
Un robot arrêté pour agression sexuelle en Allemagne "Un projet pharaonique et destructeur" : à Étrechet, des habitants vent debout contre un projet de data center
Cédric Villani : « Avec l’IA, les mathématiciens ont le sentiment de vivre leur “Apocalypse Now” » - Le Figaro
ENTRETIEN - L’entreprise OpenAI a annoncé il y a une semaine la résolution de plus de 700 problèmes majeurs en mathématiques. Pour le lauréat de la médaille Fields en 2010, cette démonstration de force fait peser un risque existentiel sur sa discipline. Ancien député, Cédric Villani est mathématicien et lauréat de la médaille Fields 2010. Il se produit chaque lundi à 21 heures au Théâtre de Poche, à Paris, dans « Mathématique en poésie », une conférence à la fois littéraire et scientifique.
IA: les mathématiciens déjà débordés - Agence Science-Presse
Informations complètes et à jour, compilées par Google Actualités à partir de sources d'actualité du monde entier
"C'est un cataclysme comme jamais les maths n'en ont connu" : Cédric Villani et d'autres mathématiciens sous le choc des exploits de l'IA - Science et vie
Les avancées de l’IA en mathématiques touchent désormais des problèmes qui résistaient depuis des décennies. Une accélération
0 commentaires
Aucun commentaire pour le moment. Soyez le premier à réagir !