RECHERCHE
Terrence Tao et ChatGPT sur le Jacobian Conjecture
Le mathématicien utilise l'IA pour tester un contre-exemple potentiel à une conjecture célèbre.
Hacker News (filtré IA)·@gmays·22 juillet 2026
Image · Source originale
Terrence Tao partage une conversation avec ChatGPT où ils explorent un contre-exemple potentiel à la conjecture du jacobien. L'IA aide à formaliser et vérifier la structure mathématique de la proposition, illustrant l'usage des LLM pour l'assistance à la recherche formelle.
Chaleur 25
Pertinence 60
Nouveauté 50