Palo Alto merkezli Axiom Math girişimi, matematik dünyasında taşları yerinden oynatabilecek iddialı bir adım attı. Şirket, matematikçilerin uzun süredir üzerinde çalıştığı karmaşık problemleri çözebilmeleri için özel olarak geliştirilen Axplorer adlı yapay zeka aracını ücretsiz olarak kullanıma sundu. Peki, bu araç sadece bir hesap makinesi mi yoksa matematiğin geleceğini mi değiştirecek?
Devasa Süper Bilgisayarlardan Masaüstüne
Axplorer, aslında François Charton tarafından Meta bünyesinde geliştirilen "PatternBoost" teknolojisinin çok daha gelişmiş ve verimli bir versiyonu. Eskiden bu tarz matematiksel keşifler yapmak için devasa süper bilgisayar kümelerine ihtiyaç duyulurken, Axplorer bu gücü standart bir Mac Pro cihazına sığdırmayı başarıyor. Charton, daha önce üç hafta süren ve "kaba kuvvet" yöntemiyle çözülen meşhur Turán dört döngü problemi gibi zorlu bir denklemi, Axplorer'ın sadece 2,5 saatte çözebildiğini belirtiyor.
Yapay Zeka Sadece Tekrar Mı Ediyor?
Son dönemde popüler olan ChatGPT gibi büyük dil modelleri (LLM), mevcut bilgileri sentezleme konusunda oldukça başarılı. Ancak Axiom Math CEO'su Carina Hong'a göre matematik bundan çok daha fazlası. Hong, matematiğin özünde keşif ve deney olduğunu vurguluyor. Mevcut yapay zeka araçlarının sadece daha önce yapılmış olanları taklit ettiğini savunan ekip, Axplorer'ı ise yeni kalıplar keşfetmek ve daha önce hiç düşünülmemiş "yaratıcı" çözümler üretmek için tasarladı.
Matematikçiler Bu Yeni Araca Hazır mı?
Matematik dünyası şu an teknoloji şirketlerinin sunduğu araçlarla adeta kuşatılmış durumda. Sydney Üniversitesi'nden matematikçi Geordie Williamson, meslektaşlarının bu noktada biraz "kafasının karıştığını" belirtiyor. Bir yanda DeepMind'ın kapalı devre çalışan AlphaEvolve sistemi varken, diğer yanda herkesin kendi bilgisayarına kurabileceği Axplorer gibi araçlar var. Axiom Math, yeni yazılımıyla matematiksel araştırmaların hızını artırmayı hedeflese de, bu aracın akademik dünyada ne kadar yaygın kabul göreceğini zaman gösterecek.
Yeni nesil yapay zeka araçları; internet güvenliğinden gelişmiş yapay zeka modellerinin mimarisine kadar pek çok alanda, matematiğin sınırlarını genişletmek için büyük bir potansiyel barındırıyor. Ancak bu araçların "yardımcı" mı yoksa "yaratıcı" mı kalacağı, önümüzdeki günlerde yapılacak araştırmalarla netleşecek.