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

OpenAI a annoncé aujourd'hui qu'un de ses modèles de raisonnement général a trouvé une construction réfutant la borne supérieure conjecturée dans le problème de la distance unitaire planaire d'Erdős. Cela marque un développement significatif dans la capacité de l'IA pour le raisonnement mathématique avancé et la résolution de problèmes.