Matematikçiler, geleneksel doğru-yanlış mantığının ötesinde, belirsiz ve güvenilir olmayan bilgiyi işleyebilen yeni bir mantık sistemi geliştirdi. QLETF+ adlı bu sistem, bilgiyi altı farklı değerle kategorize ederek, pozitif, negatif ve güvenilir bilgi ayrımı yapabiliyor. Araştırmacılar, bu sistemin klasik mantık operatörlerinin sahip olmadığı özel özellikleri taşıdığını ve matematiksel ispatlar için önemli avantajlar sunduğunu gösterdi. Sistem, özellikle belirsizlik içeren durumları daha iyi analiz edebilmek için tasarlandı.

arXiv (Matematik) 0

Matematik

21 Apr

Matematik literatüründe devrim: 8 milyon ifadeyi anlayan arama motoru

Araştırmacılar, matematik alanında çığır açan bir geliştirme yaparken Matlas adını verdikleri semantik arama motorunu tanıttı. Bu sistem, 435 bin hakemli makaleden çıkarılan 8,07 milyon matematiksel ifadeyi anlayabiliyor. 1826'dan 2025'e kadar uzanan geniş bir zaman dilimini kapsayan bu dev veri tabanı, matematikte sonuçların daha önce elde edilip edilmediğini sorgulama, benzer çalışmaları bulma ve tarihsel kökenleri izleme gibi kritik görevleri kolaylaştırıyor. Sistem, matematik literatürünün karmaşık yapısını çözmek için tasarlandı - her ifadenin önceki tanım ve teoremlere bağımlı olması nedeniyle ortaya çıkan zorlukları aşıyor. Matlas, hem geleneksel araştırma süreçlerini hızlandırıyor hem de yapay zeka destekli matematik sistemleri için güvenilir bir temel sağlıyor.

arXiv (CS + AI) 0