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

Réponse publiée sur Quora

Si les Problèmes du prix du millénaire 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 indécidable . 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.