16 Eylül'de, TRON'un kurucusu Sun Yuchen, "Sun Yuchen Ödülü"nü resmen duyurdu. Bu, temel bilimlerdeki büyük başarılar ve makine formel doğrulama üzerinde kurulmuş, küresel ilk "soru listesi" tabanlı, güvenilmeyen, merkezi olmayan akademik ödül mekanizmasıdır ve tek ödül kriteri olarak en yüksek tek soru ödülü 1 milyon ABD dolarıdır. Bu ödülün kurulması, Nobel Ödülü'nün 100 yıldır matematik ödülü vermemiş olan tarihsel boşluğunu doldurmanın yanı sıra, AI çağında bilimsel ödüllerin mantığını ve sınırlarını yeniden tanımlamayı amaçlamaktadır ve insanlığın yapay zeka ile birlikte temel bilim araştırmalarını hızlandırmasını teşvik etmektedir.
Sun Yuchen, ilk "Sun Yuchen Ödülü" kazananları listesini aynı anda duyurdu ve 66 matematik problemine ilişkin çözümler ve formel ispatlar ödüllendirildi. En yüksek ödül, "üç boyutlu Navier-Stokes denklemlerinin varlık ve düzgünlüğü sorunu" için sunulan çözüm ve formel ispat nedeniyle OpenAI araştırma ekibine 1 milyon ABD doları olarak verildi. OpenAI'nin açıkladığı bilgilere göre, ilgili ispat, iç sistem tarafından oluşturuldu, formel çalışma GPT-6 Astra tarafından tamamlandı ve Lean ile doğrulandı.
Bu soru, akışkan hareketini tanımlayan Navier–Stokes denklemlerini, kısaca N–S denklemlerini içerir. Bu denklemler, 19. yüzyılda Fransız fizikçi Claude-Louis Navier, İrlandalı-Britanyalı matematikçi George Gabriel Stokes ve diğerleri tarafından geliştirilmiştir ve yaklaşık iki yüzyıllık bir tarihe sahiptir. 2000 yılında Clay Matematik Enstitüsü, "üç boyutlu Navier–Stokes denklemlerinin varlığı ve düzgünlüğü problemi"ni Yüzyılın Yedi Büyük Sorunu arasında yer almış ve bu soru için 1 milyon dolarlık ödül koymuştur.
Bu ödülün konusu, Sendov sanısı, Erdős'un farklı alt kümeler sorunu, Dinitz–Garg–Goemans maliyet koruma sanısı gibi konuları da içermektedir. "Sun Yuchen Ödülü" kurallarına göre, açıklanan kazanan listesindeki kişilerin ödüllerini talep etmek için kendi istekleriyle başvurması gerekmektedir.
Sun Yuchen, matematiğin tüm temel bilimlerin temel dilini ve çerçevesi olduğunu belirtti. İnsan bilgisinin sınırlarını gerçekten genişleten, yalnızca yalnızca arayışlar değil, aynı zamanda görüşleri makine tarafından katı bir şekilde sınanabilir ve tüm insanlık tarafından tekrarlanabilir biçimlere dönüştürmektir. “Sun Yuchen Ödülü”, tam olarak bu amaçla oluşturuldu; geleneksel adaylık ve nitelik sınırları olmadan, dört yılda bir veya yaşam boyu başarılarla değil, ödüller doğrudan çözülmemiş matematik sorunları ve makine tarafından doğrulanabilir formel ispatlarla bağlantılıdır. Herhangi bir katkıda bulunan, profesyonel araştırmacı, bağımsız hayran veya insan ile AI işbirliği yapan bireyler ve ekipler, ilk olarak bir atılım gerçekleştirdiğinde ödül alabilir.
AI çağında, bir varsayımın çözüm döngüsü yıllardan aylara hatta günlere kadar kısalıyor. Geleneksel olarak “ömür boyu başarı” veya sabit döngüye dayalı ödüllendirme sistemleri, bu hızlanan bilimsel tempoyla uyum sağlayamıyor. “Sun Yuchen Ödülü”nün vizyonu, yeni dönem bilimsel araştırma ve teşviklerin derin dönüşümüne daha decentralize, daha formel ve daha makine odaklı bir şekilde yanıt vermek için “AI Çağı’nın Nobel Ödülü” olmaktır. Bu ödül, sürekli olarak bir matematiksel zorluk ve formel kod deposunu koruyacak ve açıkça güncelleyecektir; soru listesi bir kez yayınlandığında kalıcı olarak kilitlenecek, yalnızca artacaktır, azalmayacaktır; ödüller yalnızca ödenecek, iade edilmeyecektir; bu, “fiyatlı bir inşaat haritası” olacaktır.
“Sun Yuchen Ödülü” ödüller yalnızca ilk tamamlayan kişiye verilecektir; birden fazla kişi ortak olarak tamamlarsa, katkı oranına göre bölüşülecektir. Soruyu çözenler toplam ödülün %70’ini, formel doğrulama tamamlayanlar %30’ini alacaktır; bir kişi hem soruyu çözer hem de formel doğrulamayı tamamlarsa, tüm ödülü alacaktır. Ödül, yapay zeka sistemleri tarafından tamamlansa bile verilecektir, ancak başvuru sahibi ve yasal ödeme alıcısı ilgili doğal bir kişi, tüzel kişi veya yazılı yetkilendirme ile yetkilendirilmiş temsilcisi olmalıdır. Ödül, 1 Ocak 2026 itibarıyla elde edilen matematiksel ilerlemeleri kapsar; soru bu tarihten önce çözülmüş ancak formel doğrulama daha sonra tamamlanmışsa, formel doğrulama yapan kişi ödül alacaktır. Şu anda listelenen sorular arasında Poincaré Sanısı’nın formel doğrulaması, Riemann Sanısı, Goldbach Sanısı ve defterli matematikçi, Wolf Ödülü sahibi Paul Erdős’un yaşamı boyunca ortaya koyduğu sayısal çözülmemiş problemler yer almaktadır.
Sun Yuchen, ödülün yanı sıra kazananlara sertifika ve madalya da verileceğini açıkladı. Madalyanın ön yüzünde Sun Yuchen’in portresi ve “Sun Yuchen Ödülü” Türkçe ve İngilizce metni, arka yüzünde ise insanlığın evreni keşfetmesini temsil eden bir kabartma yer alıyor. Kenarlara Latinçe “Quod probatur, solvitur” yazısı oymulmuştur, bu ifade “kanıtlanan çözülmüştür” anlamına gelir. Madalyanın ana malzemesi bakırdır ve yüzeyi 6 gram saf altına kaplanmıştır.
“Sun Yuchen Ödülü”, açık, kamusal ve açık kaynak olmak üzere üç temel ilkeye sadık kalır: Tüm uygun koşullara sahip katkıda bulunanlara, ulusallık, kurum veya kimlik sınırlaması olmadan; insanlar ile yapay zeka arasında ayrım yapılmadan ulaşır; fonlar yalnızca ödüllerin verilmesi ve açık çalışmalar için kullanılır, kar amacı güdülmez; soru listesi, onay kriterleri, kanıt ve doğrulama materyalleri tümüyle GitHub üzerinden halka açıktır; ödül dağıtım kayıtları blok zincirine kaydedilir ve kalıcı olarak izlenebilir, değiştirilemez.
Sun Yuchen, mevcut insan matematik kanıtlarının makine tarafından doğrulanabilir formel kanıtlara dönüştürülmesi işinin, Lean gibi formel toplulukların özgür iradesine dayandığını ve uzun vadeli sistematik ekonomik teşviklerin eksik olduğunu belirtti. “Formel insanlar asla heyecan eksikliği yaşamaz, eksik olan fiyatlı bir inşaat haritasıdır.” “Sun Yuchen Ödülü”, bu kritik aşamaya ilk kez açık ve ödüllü bir liste sunarak bu durumu kökten değiştirmeyi amaçlıyor.
O, "İnsan isimleriyle adlandırılan ödüller, dünyadaki en az siyasi şeydir. Daha da önemlisi, bu, kendine bir cevap verir—varlığım, matematikten kaynaklanır. Matematikten gelir, matematikte biter." Yayınlanan bilgilere göre, geçen yıllar boyunca Sun Yuchen, teknoloji, çevre ve afet kurtarma alanlarında toplamda yaklaşık 45 milyon ABD doları (yaklaşık 300 milyon Çin yuanı) bağışta bulunmuştur. Bundan sonra, hayır faaliyetlerinin odak noktası tamamen "Sun Yuchen Ödülü"ne dönüşecektir ve temel bilimlerin hızla ilerlemesini, açık ve doğrulanabilir bir şekilde desteklemeye devam edecektir.
“Ben bir matematikçi değilim, bir gözlemciyim ve ben ödeme yapıyorum. Geri kalanı ispatlara bırakın.” dedi Sun Yuchen. “Sun Yuchen Ödülü”nün resmi olarak kurulması, makine doğrulamaya dayalı, insan-makine işbirliğine dayalı ve merkeziyetsiz ödüllendirme mekanizmasına dayalı yeni bir bilimsel teşvik modelinin başlamasını sağlamıştır.