Pas le temps de lire l'article ? Voici ce qu'il faut retenir.
OpenAI affirme qu'un de ses modèles d'IA a contribué à réfuter une conjecture mathématique formulée par Paul Erdős en 1946.
1
Conjecture d'Erdős — Un modèle généraliste d'IA a trouvé une nouvelle famille de configurations de points qui dépasse la borne que l'on pensait imposée par la conjecture classique d'Erdős.
2
Construction de contre-exemple — Le modèle aurait proposé une structure de contre-exemple que les mathématiciens n'avaient pas envisagée en près de 80 ans.
3
Paires de points à distance 1 — La construction obtenue atteint, pour une infinité de n, au moins n^(1+δ) paires de points à distance 1 (avec δ > 0).
💡
Pourquoi c'est important : Cette découverte pourrait avoir un impact significatif sur la géométrie plane et pourrait ouvrir de nouvelles perspectives pour résoudre des problèmes mathématiques restés ouverts pendant des décennies.
Toute l'actu IA résumée en 30 secondes
