OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound [D]

En 3 lignesOpenAI annonce qu'un modèle de raisonnement général a découvert un contre-exemple à la conjecture d'Erdős sur les distances unitaires en géométrie discrète. Le modèle a construit des ensembles de points planaires avec plus de n^{1+δ} distances unitaires, réfutant la borne supérieure conjecturée. La preuve a été vérifiée par un pipeline d'évaluation IA puis révisée par des mathématiciens.

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