vous pouvez simplement affiner qwen3 et trouver un nom accrocheur et ouvrir une "entreprise d'autoformatisation visant l'intelligence mathématique supérieure" et recruter quelques gars de maths au hasard et lever des fonds au fait, il reste encore quelques mois avant que ce truc ne s'estompe.

il y a peut-être 5 entreprises déjà dans le jeu et de la place pour quelques autres, surtout quand parmi 5, 3 à 5 d'entre elles ont exactement la même approche, les mêmes outils et harnais fais ton "appel à un objectif plus grand" aujourd'hui !

rappelez-vous, pour la plupart de ces gens, il n'y a pas de différence entre cela et "viser une superintelligence comptable" - tout ce dont ils ont besoin, c'est de surfer sur un sentiment collectif que "les mathématiques sont importantes" et que "des personnes importantes ont parlé de la formalisation des mathématiques" afin de pouvoir attraper quelques $$$

peu sont les entreprises dans ce domaine qui ont un autre objectif que d'être acquises