Le 'langage extraterrestre' des mathématiques : une énigme vieille de décennies enfin sur le point d'être résolue ?
Pendant plus de dix ans, la théorie inter-universelle de Teichmüller (IUT) de Shinichi Mochizuki a déconcerté les mathématiciens du monde entier. Surnommée 'langage extraterrestre' en raison de sa complexité inédite, cette théorie de 2000 pages vise à résoudre la célèbre conjecture ABC, un problème fondamental en théorie des nombres. Seule une vingtaine de spécialistes en comprennent des fragments. Mais aujourd'hui, un jeune ingénieur de 28 ans, Zhou Zhongpeng, pourrait avoir fait une percée décisive.
Développée dans les années 2000 et publiée en 2012, l'IUT utilise des concepts mathématiques radicalement nouveaux. Mochizuki a en effet créé son propre langage formel, si hermétique que même des sommités comme Ivan Fesenko n'en ont décrypté que des portions. La validation par les pairs reste incomplète après une décennie.
Zhou, ancien doctorant en théorie des graphes reconverti dans l'informatique, a étudié l'IUT pendant ses loisirs. En cinq mois, il a produit un article présentant des améliorations et applications inédites, notamment pour généraliser le théorème de Fermat. Son travail a impressionné Fesenko au point d'être invité à l'Université Westlake en Chine.
Les implications potentielles sont immenses : cryptographie, informatique quantique, physique théorique. Mais l'essentiel de l'IUT reste incompris. Zhou lui-même reste modeste : 'Mon travail ne représente que de petites innovations'. Le mystère du 'langage extraterrestre' mathématique persiste, mais la communauté scientifique voit enfin une lueur d'espoir.