Un contre-exemple à la conjecture jacobienne découvert grâce à un modèle linguistique
Tap title to read story
Levent Alpöge, un mathématicien chez Anthropic à San Francisco, rapporte avoir trouvé un contre-exemple à la conjecture jacobienne de longue date dans des dimensions supérieures, utilisant le modèle linguistique de l'entreprise, Claude Fable 5. La conjecture, posée il y a 87 ans, concerne les fonctions polynomiales dont le déterminant jacobien est une constante non nulle et demande si de telles fonctions doivent être inversibles. Le contre-exemple revendiqué par Alpöge, partagé sous une formule concise sur X peu après la finale de la Coupe du Monde de la FIFA, remet en question des décennies de croyances établies et fait l'objet d'une vérification indépendante par des experts.
More context
Timeline
- Le 1er juin 1884, le mathématicien tchèque Ludwig Kraus a énoncé la version bidimensionnelle initiale.
- Le 1er janvier 1939, Ott-Heinrich Keller a généralisé le problème de géométrie algébrique à l'échelle mondiale.
- Le 15 mai 1998, Stephen Smale a classé le problème parmi les défis mathématiques du siècle.
- Le 1er juin 2026, Anthropic a officiellement publié le grand modèle linguistique Claude Fable 5.
- Le 19 juillet 2026, Levent Alpöge a mis en ligne la solution polynomiale générée par IA.
- Le 20 juillet 2026, des mathématiciens indépendants ont rapidement vérifié l'exactitude arithmétique via un logiciel.
- Le 1er août 2026, les communautés académiques et les serveurs de prépublication ont diffusé des analyses complètes de la vérification.
- Le 1er septembre 2026, les chercheurs anticipent la publication formelle par les pairs des conclusions du contre-exemple.
- Le 15 octobre 2026, des ateliers académiques prévoient des sessions spécialisées analysant les méthodologies de découverte de l'IA.
- Le 1er janvier 2027, les mathématiciens s'attendent à des enquêtes continues sur le cas bidimensionnel restant.
Why it matters
Les modèles linguistiques d'IA accélèrent les découvertes en matière de résolution de problèmes mathématiques complexes à l'échelle nationale. Les paradigmes de découverte scientifique automatisée transformeront la recherche universitaire avancée. Mathématiciens, développeurs de technologie, chercheurs universitaires, ingénieurs logiciels et institutions universitaires. Prioriser les vérifications de systèmes d'algèbre informatique vérifiés par rapport aux commentaires spéculatifs.
Coverage notes
Gauche : Les preuves étaient insuffisantes. Centre : Mettre l'accent sur la nature collaborative des outils d'IA et des mathématiques vérifiables. Droite : Les preuves étaient insuffisantes.
Primary report
Publication sur les réseaux sociaux de Levent Alpöge publiée le 19 juillet 2026.
Sources
JQJO Editorial Desk · Human reviewed · AI assisted. Report a correction.
