Un exemple de l'histoire des mathématiques montre comment les opinions sur la fiabilité de l'intelligence artificielle peuvent rapidement commencer à changer
Imaginez une carte du monde, divisée par les frontières nationales. De combien de couleurs avez-vous besoin pour remplir chaque pays, plus la mer, sans aucune couleurs identiques?
La réponse est quatre – en effet, peu importe à quoi ressemble votre carte, quatre couleurs seront toujours suffisantes. Mais prouver que cela nécessitait un schisme en mathématiques. Le théorème des quatre couleurs, comme on l'appelle, a été le premier résultat majeur à être prouvé à l'aide d'un ordinateur. La preuve de 1976 a réduit le problème à quelques milliers de dispositions de carte, chacune a ensuite été vérifiée par le logiciel.
De nombreux mathématiciens à l'époque étaient en armes. Comment quelque chose pourrait-il être appelé prouvé, ont-ils fait valoir, si le cœur de la preuve se cache derrière une machine inconnaissable? Peut-être à cause de ce recul, les preuves assistées par ordinateur sont restées une poursuite minoritaire.
Mais cela peut commencer à changer. Comme nous le rapportons dans «L'IA pourrait être sur le point de changer complètement la façon dont nous faisons les mathématiques», la dernière génération d'intelligence artificielle tourne cet argument. Pourquoi, demandez à ses partisans, devrions-nous faire confiance aux mathématiques des humains imparfaits, avec leurs hypothèses et leurs raccourcis, alors que nous pouvons transformer la vérification d'une preuve en machine?
L'argument qui fait rage sur l'IA en mathématiques est un microcosme d'une question plus large face à la société
Naturellement, tout le monde n'est pas d'accord avec cette suggestion. Et l'argument qui fait rage sur l'utilisation de l'IA en mathématiques est un microcosme d'une question plus large face à la société: quand est-il approprié de laisser une machine prendre le dessus? Les entreprises technologiques promettent de plus en plus que les agents de l'IA supprimeront la corvée en prenant des tâches banales du traitement des factures en passant par la réservation de vacances. Cependant, lorsque nous avons essayé de les laisser courir notre journée (voir «« Flashs de brillance et de frustration »: je laisse un agent d'IA courir ma journée»), nous avons constaté que ces agents ne sont pas encore pleinement à la hauteur du travail.
La renonciation du contrôle en remettant vos cartes de crédit ou votre mot de passe à une IA opaque crée le même sentiment de malaise qu'avec la preuve des quatre couleurs. Ce n'est que maintenant, nous ne colorions plus sur une carte, mais essayons de trouver ses bords alors que nous sondons un nouveau territoire. Les preuves que nous pouvons compter sur les machines nous attendent-elles à l'horizon, ou simplement une version numérique de «Here Be Dragons»?
