Des modèles GPT de pointe proposent des résolutions candidates pour environ 60 % de 200 conjectures ouvertes tirées au hasard, selon une étude
Le jeu OpenConjecture puise dans des articles mathématiques arXiv depuis février 2026 ; les contre-exemples étaient environ 1,3 fois plus fréquents que les preuves, les auteurs n'ont pas fait vérifier les réponses par des experts et certaines exploitaient des erreurs ou imprécisions des conjectures.