Terence Tao utilise ChatGPT sur la conjecture Jacobienne
Original : Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
Pourquoi c'est important
L'usage des LLM par des mathématiciens de premier plan ouvre un débat sur leur rôle dans la recherche fondamentale.
Le mathématicien Terence Tao a partagé publiquement une conversation avec ChatGPT portant sur un contre-exemple potentiel à la conjecture Jacobienne, l'un des problèmes ouverts les plus célèbres des mathématiques.
Terence Tao, médaillé Fields et l'un des mathématiciens les plus reconnus au monde, a rendu publique une conversation menée avec ChatGPT au sujet de la conjecture Jacobienne. Cette conjecture, formulée en 1939, porte sur les applications polynomiales de ℂⁿ vers ℂⁿ dont le jacobien est une constante non nulle : sont-elles nécessairement des automorphismes ? Le problème reste non résolu en dimension supérieure à 1. Le partage de cette conversation via un lien ChatGPT a suscité une large attention dans la communauté mathématique et technologique, notamment sur les réseaux sociaux. Le contenu précis de l'échange n'est pas entièrement disponible dans les métadonnées partagées, mais le titre évoque explicitement un « contre-exemple », ce qui, s'il était validé, constituerait une avancée majeure. L'utilisation d'un outil d'IA généraliste par un mathématicien de ce niveau pour explorer un problème aussi profond illustre l'intérêt croissant des chercheurs pour les LLM comme assistants de raisonnement mathématique.