Un modèle d'intelligence artificielle a aidé à réfuter une conjecture mathématique non résolue depuis 87 ans, et la réponse a été confirmée en un jour car tout le monde peut désormais la vérifier à la main.
Levent Alpöge, un théoricien des nombres qui travaille chez Anthropic et a précédemment occupé une bourse à Harvard, a publié le résultat sur X dimanche soir, en attribuant le résultat au modèle Claude Fable 5 de l'entreprise.
Le problème, appelé conjecture de Jacobian, était ouvert depuis 1939 et figure sur la liste influente de problèmes non résolus établie par le mathématicien Stephen Smale pour le siècle.
bonjour, la conjecture de jacobian est fausse, merci à mon ami proche akhil d’avoir posé la question et à mon autre ami proche fable d’avoir travaillé pendant la finale de la coupe du monde
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z) : \C^3\to \C^3,…
Le fait qu'une IA ait produit des mathématiques originales de cette difficulté est le genre de saut qui fait désormais bouger les marchés, dont le crypto. Le bitcoin a passé des mois à négocier sur un récit lié à l'intelligence artificielle, évoluant avec les fabricants de puces et les actions de mémoire, plutôt qu'avec un catalyseur propre.
Il est tombé fortement vendredi dernier lorsque le laboratoire chinois Moonshot AI a publié un modèle qui a secoué l'industrie des semi-conducteurs, et il s'est redressé cette semaine alors que ces actions ont rebondi.
Une partie de ce lien est directe. Les plus grands détenteurs de bitcoin, ses mineurs, se sont reconstruits en opérateurs de centres de données pour l'IA, de sorte que leur fortune augmente ou diminue désormais avec la demande en puissance de calcul.
Mais le plus grand attrait est plus simple : l’IA est là où l’argent spéculatif et l’attention des investisseurs se dirigent maintenant. Le capital qui poursuivait autrefois la crypto poursuit maintenant le calcul, les puces et les concepteurs de modèles, et chaque progrès de ces systèmes élargit cet appel.
Chaque résultat, comme la découverte de Fable sur la conjecture de Jacobian, renforce l'argument en faveur d'investir du capital dans l'IA, et pose un dilemme difficile aux investisseurs en crypto : pourquoi détenir un jeton qui évolue en tant que remorque du cycle de l'IA lorsque l'on peut posséder le véhicule lui-même ?
La courbe des capacités de l'IA est raide, et plus elle devient raide, plus elle attire hors de tout le reste, y compris les crypto-monnaies, l'appétit pour le risque du marché.
Pensez à une machine qui prend deux nombres et renvoie deux nouveaux nombres, en n'utilisant que l'addition et la multiplication. La question, posée pour la première fois en 1939, était de savoir si la machine peut toujours être inversée : en ne connaissant que sa réponse, peut-on toujours retrouver les deux nombres d'origine ?
Les mathématiciens avaient une méthode rapide pour vérifier si une machine semblait réversible. La conjecture de Jacobian affirmait que si une machine passait ce contrôle, elle devrait toujours être réversible.
Pendant 87 ans, personne n'a pu prouver que c'était vrai, ni trouver une machine qui enfreignait la règle.
L'IA en a trouvé une. Elle a construit une machine qui passe la vérification mais qui ne peut toujours pas être inversée, car trois entrées différentes donnent exactement la même réponse. Si trois entrées donnent une seule réponse, on ne peut pas remonter à partir de cette réponse. Un seul contre-exemple a suffi, et la règle est définitivement rompue.