François Charton, ex-scientifique chez Meta, a troqué les filtres Instagram pour les théorèmes. Sa nouvelle startup, Axiom Math, promet de 'changer la façon dont les mathématiciens font des maths' avec Axplorer, un outil d'IA gratuit. La novlangue est parfaite : 'découvrir', 'débloquer', 'révolutionner'. La réalité, elle, est un peu plus terre-à-terre.
PatternBoost 2.0 : la refonte qui ose dire son nom
Axplorer n'est pas une nouveauté. C'est une simple redécorations de PatternBoost, un outil open-source co-développé par… François Charton lui-même en 2024. La startup a donc pris le travail public de son propre chercheur, lui a mis un nouveau logo et le revend comme une percée. L'innovation, visiblement, c'est dans le marketing. Le code source original est toujours disponible, rappelant à qui veut l'entendre que le 'secret sauce' est une recette déjà publiée.
Le business model du désespoir : gratuit aujourd'hui, payant demain
Axiom Math est basée à Palo Alto, l'épicentre du capital-risque qui aime les histoires. L'outil est gratuit. Pour l'instant. La stratégie est transparente : attirer une communauté de mathématiciens désargentés, prouver une 'utilité', puis monétiser l'accès aux futures fonctionnalités 'premium' ou vendre la plateforme à un géant en mal d'image intellectuelle. Zero revenus actuels, une équipe à payer, et un marché (les mathématiciens de recherche) notoirement pauvre. Le plan tient plus du pari qu'une conjecture de Riemann.
L'IA, ce marteau à la recherche d'un clou mathématique
L'outil cherche des patterns. Très bien. Mais transformer un pattern en preuve, c'est un autre sport. La communauté mathématique, méfiante par essence, accueillera une 'découverte' algorithmique avec la même chaleur qu'une erreur de signe dans une démonstration. L'histoire est pavée d'outils computationnels prometteurs qui n'ont jamais percé le cœur de la pratique mathématique, basée sur l'intuition, la créativité et la preuve rigoureuse. Axplorer risque de n'être qu'un moteur de recherche sophistiqué pour des équations, pas un Collatz-cracker.
Qui y gagne vraiment ?
François Charton et Axiom Math gagnent en visibilité, capitalisant sur la hype 'AI for Science'. Les VC ont peut-être une nouvelle slide pour leur deck. Les mathématiciens, eux, obtiennent un outil gratuit… qu'ils pourraient déjà avoir bricolé eux-mêmes avec le code de PatternBoost. Le vrai test sera dans six mois : combien de publications crédibles mentionneront Axplorer dans leurs remerciements ? On parie que le nombre sera plus proche de zéro que du nombre de conjectures résolues.
En attendant, l'équipe d'Axiom peut se consoler : ils ont réussi le premier théorème de la startup tech. Théorème Axiom : Le rapport entre la grandeur des promesses et la nouveauté réelle de l'outil tend vers l'infini.