Dans le monde des mathématiques, les marges sont mélangées: Le mathématicien japonais Shinichi Mochizuki a présenté une preuve de l'air abc, l'un des grands défis qui étaient (ou existent) dans la théorie des nombres. Si le test est correct — disent les mathématiciens —, il sera l'un des grands progrès de ces derniers temps, comme ceux de Grigori Perelman ou Andrew Wiles, qui ont présenté l'aieru de Poincaré et la preuve du dernier théorème de Fermat, respectivement. Grâce à ces œuvres sont devenus la star des mathématiques modernes. Pour que Mochizuki soit assimilé à eux, il faut confirmer que la preuve est bien.
Mais pour cela, les mathématiciens ont besoin de temps, puisque Mochizuki a créé une nouvelle branche de mathématiques pour pouvoir démontrer l'abc: la théorie Teichmüller de l'univers.
Ce qu'il faut démontrer semble simple ; il se réfère à des formules de type a+b=c, où a, b et c sont des nombres entiers avec un exposant de nombres entiers. Mais ces formules apparemment simples ont apporté avec eux de grands défis de mathématiques modernes, comme le dernier théorème de Fermat.
Dans ce cas, abc est à dire, ce type de formule s'applique aux nombres premiers. C'est une théorisation sur les relations entre les nombres premiers et c'est la généralisation de beaucoup d'autres. Cela signifie que si l'abc est testé, beaucoup d'autres seront également testés.
C'est pourquoi de nombreux mathématiciens ont cherché une preuve depuis que David Masser et Joseph Oesterle ont proposé, depuis 1985. Par exemple, Wiles lui-même, qui a montré le théorème de Fermat, a essayé. Maintenant Mochizuki a utilisé des techniques très innovantes et a effectué un test de 500 pages. La communauté des mathématiciens devrait comprendre, examiner ce qui a été fait et décider d'accepter ou non la preuve. Mochizuki jouit d'une bonne réputation parmi d'autres mathématiciens, est rigoureux et clair, et il est très possible d'avoir un test direct. Cependant, il faut le confirmer; la conjecture abc n'a pas encore été officiellement prouvée.