Un chatbot d'OpenAI démonte une conjecture de 80 ans que personne n'avait résolue
Des mathématiciens d'OpenAI ont posé une seule question à leur modèle sur la conjecture des distances unitaires d'Erdős, en géométrie combinatoire. Le modèle a trouvé un contre-exemple qui invalide la conjecture, chose qu'aucun humain n'avait réussi depuis 1946. Timothy Gowers, médaille Fields, a vérifié le résultat. Ce n'est pas un LLM qui bavarde sur des maths. C'est un résultat neuf, validé par un des meilleurs mathématiciens vivants.
praticiens › Conjecture d'Erdős sur les distances unitaires, posée en 1946, réfutée par un modèle OpenAI en un seul prompt, vérification indépendante de Timothy Gowers (médaille Fields).
www.nature.com →