Justin Sun, makine doğrulamalı matematik kanıtları için ödül kurdu

Justin Sun, matematikteki zor problemlerin kanıtlanması ile biçimsel doğrulamayı birleştiren 'Justin Sun Prize' ödülünü başlattı. Ödül fonu blok zincirinde kilitli tutuluyor ve yalnızca insanlar tarafından sunulan kanıtlar baştan sona makineler tarafından doğrulandığında ödeme yapılıyor.

PANews, TRON'un kurucusu Justin Sun'ın (Justin Sun) ödülü duyurduğunu bildirdi. Ödül, önemli matematik problemlerini çözen kanıt sahipleri ile bu çözümleri makinelerin doğrulayabileceği koda dönüştüren biçimselleştirme uzmanlarını hedefliyor.

Ödülün temel şartı makine doğrulaması. Kanıtın ilk satırdan son satıra kadar eksiksiz biçimde doğrulanması gerekiyor. Yaş veya yıllık kazanan sayısı için herhangi bir sınır bulunmuyor. Ödemede belirleyici olan, matematiksel fikrin kendisinden çok bunun doğrulanabilir bir biçimde uygulanıp uygulanmadığı olacak.

Biçimsel doğrulama, matematiksel bir kanıtın veya program mantığının belirlenmiş kurallar doğrultusunda makineler tarafından kontrol edilebilecek bir yapıya dönüştürülmesi sürecidir. Bu yöntem, doğal dille yazılmış çözümlere kıyasla doğrulama prosedürünün tekrar tekrar uygulanmasını kolaylaştırıyor.

Ödül fonu bir blok zinciri adresinde kilitli tutulacak. Fonun artırılabilmesi, ancak geri çekilememesi planlanıyor. Böylece ödül yapısı ve para akışı zincir üzerinde izlenebilecek.

Problem listesi silinmeden sürekli yeni eklemelerle yönetilecek. Bir problemin ifadesinde hata tespit edilse bile ödül, önceden belirlenen koşullara göre ödendikten sonra problem yeniden listeye alınacak.

Bu yaklaşım, problemlerin sonradan kaldırılmayacağı veya koşulların değiştirilerek ödül kararının tersine çevrilmeyeceği anlamına geliyor. Ödül kriterleri ile fon akışının önceden sabitlenmesi, değerlendirme sürecindeki öznel kararları azaltmayı amaçlıyor.

Justin Sun, değerlendirmelere doğrudan katılmayacağını, yalnızca problem listesini ve her problem için ödül miktarını belirleyeceğini açıkladı. Değerlendirme sonuçlarının kişisel yargıdan ziyade makine doğrulamasına göre işleneceğini belirtti.

Bu girişim, yapay zekânın matematik problemlerini çözmesi ve bunları biçimsel kanıt kodlarına dönüştürmesi yönündeki gelişmelerle örtüşüyor. Kanıt sahipleri ile biçimselleştirme uzmanlarının ayrıldığı yapı, matematiksel fikirleri ve makine doğrulamasına uygun uygulamaları ayrı ayrı ödüllendirmeyi hedefliyor.

Ancak problem başına ödül miktarı ve ilk olarak listeye alınacak matematik problemleri henüz açıklanmadı. Gerçek katılım düzeyi ve araştırma sonuçları, somut problemlerin ve ödül koşullarının duyurulmasının ardından görülebilecek.