İsrail Teknoloji
Enstitüsünden bir grup
bilim insanı, temel matematiksel sabitlere dair
varsayımlar üreten bir
sistem geliştirdi. Adını
Hintli matematikçi Sirinivasa Ramanujan’dan alan
bu algoritmanın makalesi
arXiv sunucularına yüklendi.
Ayrıca bilgisayarının
işlemci gücünü gönüllü
olarak bu ağda paylaşmak
isteyen veya yeni matematiksel yapılara dair
ispatlar ya da kodlar geliştirmek isteyenler için de
bir web sitesi hazırlandı.
Ramanujan makinesinin
adı, kendi kendini eğitmiş bir matematikçi olan
Srinivasa Ramanujan’dan
(1887-1920) alıyor. Cambridge Üniversitesinin
tanınmış isimlerinden biri
olan Ramanujan,, geleneksel ispat yöntemlerinin
aksine, içgüdüsel çıkarımlar yaparak bunları başka
matematikçilerin ispatlamalarına izin veriyordu.
Öyle ki; bazı formüllerin
kendisine rüya yoluyla bildirildiği yönünde hurafeler bile ortaya çıkmıştı. Yeni yaklaşımda ise
araştırmacılar bunu milyonlarca bilgisayarların
işlem gücüyle internet
üzerinden yapmayı amaçlıyor.
Ramanujan makinesi
aslında bir bilgisayar
ağı üzerinde çalışan algoritmalardan ibaret.
Bu algoritmalar, temel
sabitleri ardı ardına gelen sonsuz sayıda kesirle
ifade ederken insanın
analiz edebileceği matematik formüllere dönüştürmeyi amaçlıyor.
Ramanujan makinesi projesi (ramanujanmachine.com) şimdiden bir düzine
kadar varsayım üretti.
Kaynak:
http://www.ramanujanmachine.com
