Un contre-exemple à la conjecture jacobienne découvert grâce à un modèle linguistique
Read, Watch or Listen
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.
Prepared by Jonathan Pierce and reviewed by editorial team.
Timeline of Events
- 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.
News Intelligence
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.
- Articles Published:
- 14
- Right Leaning:
- 0
- Left Leaning:
- 0
- Neutral:
- 14
- Distribution:
- Left 0%, Center 100%, Right 0%
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.
Publication sur les réseaux sociaux de Levent Alpöge publiée le 19 juillet 2026. https://x.com/alpoge/status/2079028340955197566
Coverage of Story:
From Left
No left-leaning sources found for this story.
From Center
Un contre-exemple à la conjecture jacobienne découvert grâce à un modèle linguistique
SciTechDaily / Mathematical Research Reports SciTechDaily DataCamp Wikipedia New Scientist MIT Technology Review Nature Science Phys.o TechCrunch Ars Technica ZDNET The Verge WiredFrom Right
No right-leaning sources found for this story.
Comments