Belirlenimci tamsayı çarpanlara ayırma çalışması yayımlandı
Öne çıkanlar
- Araştırmanın kanıt formalizasyonu Lean 4.35.0 platformunda yapıldı.
- Çalışma sürecinde Anthropic'in Claude Opus 5.5 modeli kullanıldı.
- Çalışma 28 Ekim 2026 tarihinde Hexagon Math üzerinden ilk sürümüyle paylaşıldı.
Isaac Rudich, tamsayıları belirlenimci yöntemle çarpanlarına ayırmayı hedefleyen yeni matematiksel çalışmasını 28 Ekim 2026 tarihinde paylaştı. Hexagon Math platformunda erişime açılan çalışma, çarpanlara ayırma problemini belirli bir karmaşıklık sınırında çözmeyi amaçlayan teorik bir yaklaşım sunuyor. Çalışmanın ilk sürümü açık erişim lisansıyla araştırmacıların incelemesine sunuldu.
Araştırma sürecinde biçimsel kanıtlama ve yapay zeka araçlarından yoğun biçimde yararlanıldı. Kanıtların biçimsel doğrulama işlemleri Lean 4.35.0 yazılımı ve topluluk kütüphaneleriyle yürütüldü. Matematiksel modelleme ve algoritma adımlarının geliştirilmesinde ise Anthropic tarafından geliştirilen Claude Opus 5.5 modeli temel araştırma aracı olarak kullanıldı.
Makale, klasik hesaplama karmaşıklığı teorisi ve cebirsel yapılar üzerine kurulu geniş bir kaynakça içeriyor. Oktonyon cebiri, polinom katsayılı doğrusal yinelemeler ve klasik çarpanlara ayırma yöntemlerine atıfta bulunan metin, tamsayı çarpanlara ayırma sınırlarını ileri taşımayı hedefliyor. Çalışmanın matematik ve teorik bilgisayar bilimi çevrelerinde kapsamlı şekilde tartışılması bekleniyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.