Şöyle bir senaryo hayal edin: Bilim insanları, bilinmeyen bir uzaylı ırkından bir sinyal yakaladı. Mesajın zeki bir varlıktan geldiği açık, ancak sözdizimi, grameri ve bağlamı, yani her şeyiyle biz dünyalılar için tamamen anlaşılmaz.
Çoğu matematikçinin, 10 yıldan uzun bir süre önce matematikçi Shinichi Mochizuki tarafından ortaya atılan ve sayı teorisinin en ünlü çözülmemiş problemlerinden biri olan ABC varsayımını çözme girişimi olan Üniversitelerarası Teichmüller Teorisi (IUT) hakkında hissettikleri tam olarak böyle.
IUT, matematiğin diğer dallarına o kadar az benziyor ki, ona 'uzaylı dili' lakabı takılmış. Dünya çapında sadece yaklaşık 20 kişi bu teoriyi bir dereceye kadar anlayabilmiş durumda. Ancak şimdi, 28 yaşındaki mühendis Zhou Zhongpeng, IUT'nin gizemini çözme konusunda önemli ilerleme kaydetti.
Mochizuki, IUT'yi 2000'lerin başında geliştirdi ve 2012'de dört farklı ön baskı serisi halinde yayımladı. Yaklaşık 2000 sayfadan uzun olan ispat, Mochizuki'ye göre ABC varsayımına bir çözüm sunuyor. Eğer ispatlanırsa, bu varsayım, Fermat'nın Son Teoremi gibi diğer büyük matematiksel sırların kilidini açmaya yardımcı olabilir. Fermat'nın Son Teoremi, yaklaşık 400 yıllık bir varsayım olup, an + bn = cn denkleminin n'nin 2'den büyük herhangi bir tam sayı değeri için hiçbir üç pozitif tam sayı a, b ve c tarafından sağlanamayacağını belirtir.
Ancak IUT, matematik dünyasında tamamen benzersiz kavramlar ve semboller kullanıyor. Başka bir deyişle, Mochizuki esasen kendi matematiksel dilini yaratmış ve bu durum, dünyanın önde gelen birçok matematikçisini şaşkına çevirmiş durumda. Aralarında matematikçi Ivan Fesenko'nun da bulunduğu birkaç cesur kişi, teorinin bazı kısımlarını çözmeye çalıştı ve Mochizuki'nin iddialarına bir miktar güven kazandırdı. Ancak on yıldan fazla süredir var olmasına rağmen IUT, anlaşılması o kadar zor olduğu için akran denetiminden tam olarak geçemedi.
İşte bu noktada sahneye Zhou giriyor. Doktora adayıyken graf teorisi çalışmış bir matematik geçmişine sahip, ancak derecesini tamamlamadan yazılım mühendisi olarak çalışmak üzere ayrılmış. Ancak bu, onun saf matematiğe olan ilgisini azaltmamış. IUT'ye takıntılı hale gelen Zhou, yoğun iş temposuna rağmen boş zamanlarında teoriyi çalışmış. Beş ay boyunca, IUT prensiplerini kullanarak genelleştirilmiş Fermat'nın Son Teoremi'nin vakalarının çoğunu kanıtladığı çalışmasında birkaç iyileştirme ve yeni uygulama detaylandırdı.
Matematikçiler Zhou'nun çalışmasından etkilendiler; Fesenko, çalıştığı Westlake Üniversitesi'ne onu davet etti. Zhou teklifi kabul etti ve şu anda Fesenko'nun rehberliğinde ispatı ilerletmek için çalışıyor. Bu çalışmanın, kriptografi ve kuantum bilgisayarlarından uzay-zamanın daha iyi anlaşılmasına kadar uzanan sayısız potansiyel uygulaması var. Ancak bu uygulamalar, diğer araştırmacılar tarafından anlaşılabilirse değer kazanacak.
Yine de IUT'nin bazı kısımları hala çözülemiyor. Tamamen çözülmesi yıllar alabilir, belki de hiçbir zaman tam olarak çözülemez. Zhou, çalışması hakkında yaptığı bir paylaşımda, "Bu çalışmalar, benden önceki araştırmacıların temeline dayanıyor; benim çalışmam sadece küçük yenilikler ve keşifler içeriyor ve ilgili alana mütevazı bir katkı sağlamayı umuyorum," dedi.
