Pas le temps de lire l'article ? Voici ce qu'il faut retenir.
Des chercheurs utilisent une IA d'OpenAI pour résoudre un célèbre problème de mathématiques posé par le mathématicien hongrois Paul Erdős en 1946.
1
Conjecture réfutée — Un modèle de raisonnement d'OpenAI a produit une preuve qui réfute la conjecture posée par Paul Erdős.
2
Gain significatif — Le modèle a obtenu une famille infinie d'arrangements qui dépasse le plafond connu, avec un gain d'environ 0,014 exposant.
3
Collaboration avec des mathématiciens — Trois chercheurs d'OpenAI ont guidé et vérifié le modèle pour garantir la correction de la preuve.
💡
Pourquoi c'est important : Cette découverte ouvre de nouvelles perspectives pour l'utilisation des IA dans la résolution de problèmes mathématiques complexes.
Toute l'actu IA résumée en 30 secondes
