Cette légende de l'informatique séchait sur un casse-tête mathématique : l'IA Claude l'a résolu en une heure et l'a laissée « sous le choc »
L'informaticien Donald Knuth, lauréat du prix Turing, pensait que l'IA avait encore de grandes limites. Pourtant, le modèle Claude d'Anthropic vient de réussir à résoudre un problème mathématique ardu sur lequel le chercheur séchait. Une percée inattendue qui prouve que l'IA devient un sacré partenaire pour les
Cette légende de l'informatique séchait sur un casse-tête mathématique : l'IA Claude l'a résolu en une heure et l'a laissée « sous le choc »
L'informaticien Donald Knuth, lauréat du prix Turing, pensait que l'IA avait encore de grandes limites. Pourtant, le modèle Claude d'Anthropic vient de réussir à résoudre un problème mathématique ardu sur lequel le chercheur séchait. Une percée inattendue qui prouve que l'IA devient un sacré partenaire pour les
"Ils ont réussi l'impensable" : une expérience prouve que la physique quantique est encore plus étrange que prévu (si c'était encore possible)
Dans une expérience menée par des chercheurs indiens et publiée dans Physical Review Letters, une équipe a réussi l'impensable.
"Ils ont réussi l'impensable" : une expérience prouve que la physique quantique est encore plus étrange que prévu (si c'était encore possible)
Dans une expérience menée par des chercheurs indiens et publiée dans Physical Review Letters, une équipe a réussi l'impensable.
Il résistait depuis 45 ans : ce problème mathématique vient d'être résolu par une IA
Le modèle d’IA GPT-5.2 Pro a résolu plusieurs problèmes de mathématiques, dont l’un, le 11 janvier 2026, était resté ouvert depuis 45 ans. Plus que le résultat, c’est la méthode — associant humains, assistant de preuve Lean et système d’IA Aristotle — qui pourrait transformer la pratique de la démonstration
Grigori
#Perelman, le
#génie qui a résolu un
#problème #mathématique vieux d'un siècle…, la
#conjecture de
#Poincaré , et qui refusé la gloire et un million de dollars
« Je ne veux pas être exposé comme un
#animal dans un
#zoo »,
www.science-et-vie.com/sciences-fon...Grigori Perelman, le génie qui...
Grigori Perelman, le génie qui a résolu un problème mathématique vieux d'un siècle… et qui refusé la gloire et un million de dollars
Grigori Perelman a résolu un problème mathématique centenaire puis refusé toute récompense, rejetant la reconnaissance médiatique.
Grigori Perelman, le génie qui a résolu un problème mathématique vieux d'un siècle… et qui refusé la gloire et un million de dollars
Grigori Perelman a résolu un problème mathématique centenaire puis refusé toute récompense, rejetant la reconnaissance médiatique.
PeerTube
Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇺🇦 🇨🇦 🇩🇰 🇬🇱 ☮🕊️
Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇺🇦 🇨🇦 🇩🇰 🇬🇱☮🕊️
Objectif bilingue
horscine