🎀 Terence Tao, Math, Inc. ile ortaklık kurmaktadır. 🎀 ilk Veritas Bursiyeri olarak — sayı teorisinde tahminleri resmileştirmek için. Analitik sayı teorisinde, literatür açık tahminlerden oluşan geniş bir ağ içerir. Ama o web hemen birlikte çalışabilir değil. Pratikte sonuçlar üç katmanda gelir: Birincil tahminler: Bunlar, Riemann zeta fonksiyonu için sıfırdan serbest bölgeler gibi temel girdilerdir. Genellikle kapsamlı hesaplama ve dikkatli sayısal optimizasyona dayanırlar. İkincil tahminler: Birçok makale, birincil bir girdiyi (örneğin, sıfırdan bağımsız bir bölge) alıp onu kısa aralıklarla asal sayım gibi yeniden kullanılabilir sonuçlara dönüştürür. Bunlar, konu boyunca kullanılan temel yapı taşları haline gelir. Üçüncül tahminler: Daha sonra yapılan çalışmalar, bu ikincil yapı taşlarını sınır sayı teorik problemlerine uygular; örneğin, tam sayıları üç asal toplamları olarak temsil etmek. Zorluk, bu katmanların zamanla temiz güncellenmemesidir. Bir üçüncü sınıf makale, o dönemde mevcut olan en iyi birincil tahmine dayanabilir. Ancak yıllar sonra geliştirilmiş hesaplamalar, birincil girdiyi daha da incelemiş ve ikincil ve üçüncül zincir boyunca sistematik olarak yayılmamıştır. Sonuç olarak, "güncellenmiş sabitlerle aynı teorem" genellikle bilinmez. Amaç, bu katmanlar arasında ana makaleleri resmileştirmek ve ardından bağımlılıklarının açık, kompozisyona alınabilir ve makine tarafından kontrol edilebilir hale gelmesini sağlamaktır. Uzun vadeli vizyon, canlı bir sonuç ağı yaratmaktır: birincil tahmin geliştiğinde, her sonraki sonuç otomatik olarak yükselir. Bu, matematiksel literatürü modüler yazılıma dönüştürecektir. Sayı teorisi güçlü bir test örneğidir çünkü tahminleri nispeten net bir yapıya ve ortak standart girdi-çıktı setine sahiptir. Ancak PDE'ler gibi birçok alanda, araştırmacılar sürekli olarak değişim için çaba harcıyor: lemmalar ve hipotezleri uyarlamak, uyumsuz çerçeveler arasında çevirme, "kare çivileri yuvarlak deliklere yerleştirmek." Kompozisyona alınabilir, makine tarafından doğrulanan bir ima ağı doğrudan bu sürtüşmeyi hedefler. Aynı altyapı, şu anda koordinasyonu zor olan kitlesel, büyük ölçekli projeleri mümkün kalmak üzere diğer alanlara da ölçeklenebilir. Klasik bir örnek, sonlu basit grupların sınıflandırılmasıdır: birçok katkıda bulunanlara dağıtılmış, muhasebe, entegrasyon ve tamlığa güven etrafında kaçınılmaz karmaşıklığa sahip onlarca yıllık bir çaba. Modern araçlarla, benzer kapsamda ay çekimleriyle uğraşmayı hayal ediyoruz: birçok katkıda bulunanın çeşitli vakalarla ilgilenmesi ve parçaları birbirine yapıştıran otomatik sistemler. Alan, kanıtlananları, kalanları ve her bileşenin tam olarak hangi bağımlılıkları gerektirdiğini kaydeden canlı bir ilerleme paneli haline gelir. Bu, çok daha hızlı ve ilgi çekici bir matematik yöntemi için fırsat sunuyor. Tao'nun özetini YouTube'da izleyin: