1912'de Madras Liman İdaresi'nde çalışan 24 yaşında bir kâtip, kanıtlayamadığı formül sayfalarını İngiltere'deki matematikçilere postalamaya başladı. Bu sayfalardan biri Cambridge'de G. H. Hardy'ye ulaştı ve Hardy, Srinivasa Ramanujan'da olağanüstü özgünlükte bir matematikçi tanıdı. Yazışmadaki iki denklem — bugün Rogers-Ramanujan özdeşlikleri olarak biliniyor — sonraki yüzyılın büyük bölümünü, sayı kuramcısı George Andrews'un deyişiyle "yalıtılmış bir mücevher" olarak geçirdi: çevresinde görünür bir aile olmayan güzel bir özel durum.
Bugün Emory Üniversitesi'nde doktora sonrası araştırmacı olan Yifeng Huang'ın liderliğindeki bir ekip, bu mücevherin sonsuz bir ailenin ilk örneği olduğunu gösterdi. Huang, UC Berkeley'den Ruofan Jiang, UMass Amherst'ten Alexei Oblomkov ve Virginia Üniversitesi'nden Ken Ono ile birlikte "HJO sanısı"nı kanıtladı: eski özdeşlikler, her "kırılmış" eğrinin yeni bir denklem ailesi sakladığı geometrik bir kuramın tek bir örneği.
Mekanizma şaşırtıcı derecede görsel. x^a = y^b biçiminde, bir noktada sivri uca gelen bir eğri alın ve kaç matris çiftinin denklemi sağladığını sayın. Sonra bu tekilliğe yakınlaşıp dört boyutta etrafına küçük bir küre yerleştirin: eğri, küreyi bir düğüm boyunca deler. a = 2, b = 3 için bu düğüm trefoil, yani tanıdık Kelt düğümü — ve sayım tam olarak Rogers-Ramanujan özdeşliklerine çöküyor. Daha büyük a değerleri daha girift torus düğümleri ve beraberinde yeni özdeşlikler veriyor. a = 2 ailesini 1970'lerde Andrews ve Basil Gordon bulmuştu; üzerindeki her şey keşfedilmemiş bölgeydi.
Kanıtın ortaya çıkış biçimi de ayrı bir hikâye. Ono, yapay zekâ şirketi Axiom Math'in kurucu matematikçisi; Huang ve Axiom matematikçisi Kenny Lau ile yedi ay boyunca şirketin matematiğe odaklı sistemi AxiomProver'la birlikte çalıştı. Fikirler çok yeni olduğu için model sorunun üzerine doğrudan salınamadı — öğrenebileceği bir literatür yoktu. Bunun yerine insanın mümkün kılabileceğinden çok daha geniş bir fikir uzayını taradı ve sonunda kanıtı makineyle denetlenebilir bir dil olan Lean'e çevirdi. Dört matematikçi ve bir makine, matematiğin beş farklı alanından sonuçları bir araya getirdi.
Andrews, "Bu konudaki her şey, ilk keşif bile, bir sürpriz," diyor. Ono ise alanın yapay zekâ kaygısına karşı çıkıyor: "Herkes matematiğin sonundan bahsediyor. Ama bu yapıyı birinin icat etmesi gerekiyordu." Sanı Ağustos 2026'da arXiv'e, kanıt ise Eylül'de yüklendi. Sırada Hopf bağı durumu var; Fields madalyası sahibi Peter Scholze de Huang'ın fikirlerini ileri taşıyan makaleler yayımladı bile.
Neden önemli: 1912 tarihli bir mektuptan çıkan merak uyandırıcı bir formül, cebirsel geometri, düğüm kuramı ve matris sayımının kesiştiği yerde bulunan sonsuz bir ailenin ilk dilimi çıktı. Asıl önemli emsal ise iş bölümü: insan deseni fark ediyor, makine fikir uzayını tarıyor ve sonucu biçimsel olarak doğruluyor. Bu bileşim, ürettiği tek tek göz alıcı teoremlerden daha yaygın hale gelecek gibi görünüyor.
