Pas le temps de lire l'article ? Voici ce qu'il faut retenir.
Levent Alpöge, chercheur affilié à Harvard et à Anthropic, a utilisé l'IA Fable 5 pour résoudre la conjecture de Jacobi, un problème mathématique vieux de 87 ans, en 216 caractères.
1
Conjecture de Jacobi — La conjecture, formulée en 1939, postulait que toute application polynomiale avec un déterminant jacobien constant possédait un inverse polynomial.
2
Contre-exemple — Fable 5 a exhibé un contre-exemple de 216 caractères, démontrant la non-injectivité de la conjecture.
3
Réaction de la communauté — La communauté mathématique oscille entre euphorie et scepticisme, avec des mathématiciens comme Timothy Gowers qualifiant le résultat de "plutôt incroyable".
💡
Pourquoi c'est important : Cette découverte pourrait avoir des conséquences importantes pour la recherche mathématique, notamment en ce qui concerne la capacité des IA à résoudre des problèmes complexes.