Quand une IA pourra résoudre un des problèmes du millénaire ?

Wed, 17 Sep 2025 00:00:00 +0000

Réponse publiée

Si les restants sont résolubles, ça va prendre encore “un certain temps”, comme disait Fernand Raynaud.

Mais je pense que le matheux qui aura écrit les prompts dira que c’est lui qui a résolu le problème, éventuellement avec l’aide d’une IA…

Ce qui me semble le plus probable est qu’une IA prouve que l’un de ces problèmes est . Pour ça il faut faire beaucoup de calcul formel, et notre cerveau est moins bon à ça qu’une machine.

Une preuve d’indécidabilité serait aussi récompensée par le prix.

Les problèmes du millénaire sont-ils les plus difficiles du monde ou existe-t-il des problèmes encore plus complexes au plus haut niveau?

Mon, 06 Jun 2022 00:00:00 +0000

Réponse publiée

Ils sont extrêmement difficiles puisqu’ils résistent au mathématiciens depuis des décennies mais ce dont aussi des problèmes importants du point de vue des applications en physique (Yang-Mills), en informatique (P=NP) voire en ingénierie (Navier-Stokes)

Il y a certainement d’autres problèmes tout aussi difficiles voire plus, mais il n’y a pas encore de fondation qui offre un million pour les résoudre.

Notez que la première grosse difficulté avec ces problèmes est de savoir si ils peuvent être résolus ou non, s’ils sont . Parce qu’on en sait rien, par contre on sait désormais qu’il y a plus de problèmes indécidables que de décidables…

Problemes-Du-Prix-Du-Millenaire | Dr. Goulu

Quand une IA pourra résoudre un des problèmes du millénaire ?

Les problèmes du millénaire sont-ils les plus difficiles du monde ou existe-t-il des problèmes encore plus complexes au plus haut niveau?