Pas le temps de lire l'article ? Voici ce qu'il faut retenir.
OpenAI a annoncé que l'un de ses modèles de raisonnement généralistes a réfuté une conjecture de géométrie posée par Paul Erdős en 1946.
1
Réfutation d'une conjecture — Un modèle de raisonnement généraliste d'OpenAI a réfuté une conjecture de géométrie discrète vieille de 80 ans.
2
Amélioration significative — Le modèle a construit une famille infinie de configurations de n points qui atteignent au moins n^(1+δ) paires à distance unitaire.
3
Première avancée concrète — C'est la première avancée concrète sur la borne inférieure du problème depuis huit décennies.
💡
Pourquoi c'est important : Cette découverte pourrait avoir un impact significatif sur la géométrie combinatoire et pourrait ouvrir de nouvelles perspectives pour résoudre d'autres problèmes mathématiques complexes.
Toute l'actu IA résumée en 30 secondes
