🚨OpenAI affirme que son IA a RÉFUTÉ l’ETH.
ETH signifie « hypothèse du temps exponentiel » (Exponential Time Hypothesis), une hypothèse de longue date sur la difficulté de résoudre certains problèmes informatiques à mesure qu’ils prennent de l’ampleur.
OpenAI affirme que son IA a inventé un algorithme plus rapide que ne le permet cette hypothèse, remettant en cause une supposition utilisée dans des centaines d’articles de recherche.
L’entreprise indique que la réfutation a été découverte le 16 octobre, vérifiée dès le lendemain à l’aide du système de vérification de preuves Lean, puis publiée sur GitHub avec sa vérification formelle.
Ryan Williams, du MIT, va l’examiner avec les auteurs de la proposition initiale de l’ETH, Russell Impagliazzo et Ramamohan Paturi. OpenAI affirme que « d’importants travaux de recherche supplémentaires » seront nécessaires pour transformer ce résultat en algorithmes plus rapides dans des applications concrètes.
L’entreprise revendique également deux autres percées :
• Mathématiques : une démonstration de la conjecture de Kakeya en toutes dimensions, après celle du cas en 3 dimensions l’année dernière.
• Physique : la création d’une démonstration résolvant une partie d’un problème du prix du millénaire doté d’un prix de 1 MILLION de dollars. Ces travaux n’ont pas encore été publiés et une équipe dirigée par le lauréat du prix Nobel David Gross va les examiner.
ETH signifie « hypothèse du temps exponentiel » (Exponential Time Hypothesis), une hypothèse de longue date sur la difficulté de résoudre certains problèmes informatiques à mesure qu’ils prennent de l’ampleur.
OpenAI affirme que son IA a inventé un algorithme plus rapide que ne le permet cette hypothèse, remettant en cause une supposition utilisée dans des centaines d’articles de recherche.
L’entreprise indique que la réfutation a été découverte le 16 octobre, vérifiée dès le lendemain à l’aide du système de vérification de preuves Lean, puis publiée sur GitHub avec sa vérification formelle.
Ryan Williams, du MIT, va l’examiner avec les auteurs de la proposition initiale de l’ETH, Russell Impagliazzo et Ramamohan Paturi. OpenAI affirme que « d’importants travaux de recherche supplémentaires » seront nécessaires pour transformer ce résultat en algorithmes plus rapides dans des applications concrètes.
L’entreprise revendique également deux autres percées :
• Mathématiques : une démonstration de la conjecture de Kakeya en toutes dimensions, après celle du cas en 3 dimensions l’année dernière.
• Physique : la création d’une démonstration résolvant une partie d’un problème du prix du millénaire doté d’un prix de 1 MILLION de dollars. Ces travaux n’ont pas encore été publiés et une équipe dirigée par le lauréat du prix Nobel David Gross va les examiner.
