OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking

En 3 lignesUn modèle de raisonnement d'OpenAI a réfuté une conjecture d'Erdős en géométrie des distances unitaires (ouverte depuis 1946) en utilisant des outils de théorie algébrique des nombres inattendus. Tim Gowers (médaillé Fields) qualifie cela de « jalon en mathématiques IA ».

Résumé généré par Claude — vérifié par l'humain