Van egy matematikai bizonyítás, amelyet Kiotóban elfogadnak és tanítanak, a nemzetközi közösség nagy része viszont még mindig vitatja. Ez szinte példa nélküli: mintha a matematika a városhatárnál hirtelen más szabályok szerint működne.

A vita tárgya az ABC-sejtés. Nagyon leegyszerűsítve: ha A + B = C, és A, B, C-nek nincs közös osztója, akkor az A·B·C különböző prímosztóinak szorzata (a „radikál”) általában nem lehet feltűnően kicsi C-hez képest. Klasszikus példa: 3 + 125 = 128, miközben a radikál 30. A sejtés szerint az ilyen kirívó esetekből csak véges számú létezik.

Mocsizuki Sinicsi japán matematikus 2012-ben négy, egyenként 500 oldalnál is hosszabb cikkben egy teljesen új keretrendszert („interuniverzális Teichmüller-elmélet”) vezetett be, és azt állította, hogy ezzel bizonyítja az ABC-sejtést. Több japán kutató ezt el is fogadta, két német matematikus viszont – saját állításuk szerint – végzetes hibát talált a gondolatmenetben.

Egy indiai hátterű kutató szerint a Mocsizuki-féle elmélet javítható, ezt azonban a német kutatók nem fogadják el. A japánok egy része közben eleve nem is lát problémát: szerintük a bizonyítás rendben van, csak nehéz „lefordítani” a megszokott matematikai nyelvre.

A történet azóta sem ért véget: 2015-ben Oxfordban workshopot tartottak, 2018-ban kritika és válasz is született. 2023-ban egy japán üzletember 1 millió dolláros díjat ajánlott fel annak, aki megtalálja a hibát – már ha tényleg létezik. Egy arizonai egyetemhez kötődő szerző szintén előállt egy javítási javaslattal, amit Mocsizuki elutasított.

(Forrás: NS, kép: Pixabay)