Maith: Yapay Zeka Destekli Matematik Araştırması İçin Disiplinli Çerçeve
Maith, Riemann ve P vs NP gibi açık matematik problemlerini yapay zekayla araştırırken katı ispat standartları uygulayan açık kaynaklı bir çalışma alanı.
Maith, yapay zekayı bir kâhin değil fikir üreticisi olarak ele alan, Riemann Hipotezi, P vs NP ve Jacobian Sanısı gibi çözülmemiş matematik problemleri üzerinde çalışmak için açık kaynaklı bir araştırma ortamı. Her açık problemi; kesin ifade, keşif amaçlı fikirler, çalıştırılabilir deneyler ve adım adım kanıtlar içeren yapılandırılmış dosyalardan oluşan bir "dosya"da (dossier) organize ediyor ve kanıtlanmamış sanılarla doğrulanmış teoremleri açıkça birbirinden ayırıyor.
Projenin temel disiplini yeniden üretilebilirlik: her hesaplamalı iddia, tam kaynak kodu, girdi verisi, sürüm bilgisi ve çıktı özetiyle (hash) birlikte sunulmalı ki sonuçlar bağımsız olarak tekrar çalıştırılabilsin. Geniş bir aralıktaki sayısal kanıt asla ispat olarak kabul edilmiyor; ünlü bir açık problemi çürüten herhangi bir iddianın, ikinci bir yapay zeka, bir bilgisayar cebiri sistemi veya insan uzman tarafından yapılan çekişmeli incelemeden geçmesi bekleniyor.
Mühendisler için Maith, LLM'leri ve CAS araçlarını yüksek riskli teknik çalışmalarda kullanmak için somut bir şablon sunuyor: yapay zekayı karşı örnek aramak ve kanıt bağımlılıklarını haritalamak için kullanın, ancak herhangi bir sonuca güvenmeden önce bağımsız doğrulama, tam yeniden üretilebilirlik ve biçimsel kontrol (Lean veya Coq gibi) şart koşun.