Antropik bir matematikçi, 87 yıldır çözülmeye direnen bir matematiksel varsayımı çürütmek için şirketin kendi geniş dil modelini kullandı ve yapay zekanın saf matematiği ilerlettiğinin şimdiye kadarki en çarpıcı örneklerinden birini sundu.

Yapay zeka şirketi Anthropic'te matematikçi olan Levent Alpöge, cebirsel geometride ünlü ve uzun süredir devam eden bir problem olan Jacobian varsayımına karşı bir örnek bulduğunu duyurdu. Bu sonuca, Anthropic'in yalnızca birkaç hafta önce halka açıklanan Claude Fable 5 modelini kullanarak ulaştı. İlk olarak ScienceDaily ve SciTechDaily tarafından bildirilen ve orijinal olarak The Conversation'da yayınlanan bir makaleden alınan bu keşif, matematik camiasında büyük bir heyecan yarattı. En son yapay zeka gelişmelerini takip eden okuyucular için sonuç, öncü modellerin salon hilelerinden gerçekten üretken bilimsel çalışmalara ne kadar hızlı geçiş yaptığını gösteriyor.

Tek Gönderi İçin Yeterince Küçük Bir Formül

Bu atılımı bu kadar şaşırtıcı kılan şey, kompaktlığıdır. SciTechDaily'e göre karşı örnek son derece basit bir üç boyutlu fonksiyon; X'teki tek bir yazıya sığacak kadar kısa bir formül. Yapay zeka destekli karşı örnek, Jacobian varsayımını iki boyutun üzerinde çürütürken, varsayımın orijinal iki boyutlu formunu açık bırakıyor.

Bu nüans önemli. Sonuç, 19. yüzyıldan bu yana devam eden sorunun tamamını çözmüyor. Bunun yerine, beklenmedik bir sınırı ortaya çıkarıyor: Her ne kadar matematikçilerin başlangıçta en çok önemsediği durum çözülmeden kalsa da, varsayımın genelleştirilmiş, daha yüksek boyutlu versiyonu yanlıştır.

Sorunun Arkasındaki Tarih

Jacobian varsayımı, sayıları alan ve belirli bir kuralı izleyerek yeni sayılar üreten matematiksel makineler olan polinom fonksiyonlarıyla ilgilidir. Bu ortamda sayılar, haritadaki koordinatlar gibi uzaydaki noktaları temsil edebilir. Bir fonksiyon bu koordinatları alır ve noktaları farklı konumlara taşıyarak bunları dönüştürür. Matematikçiler, bir fonksiyonun Jakoben determinantını hesaplayarak uzayı ne kadar düzgün bir şekilde yeniden düzenlediğini inceleyebilirler. Varsayım esas olarak şu soruyu sorar: Eğer bu determinant sıfırdan farklı bir sabitse, fonksiyonun mutlaka bir polinom tersi olması gerekir mi?

Sorunun hikayeli bir geçmişi var. İlk olarak 1884'te Çek matematikçi Ludwig Kraus tarafından belirtildi, daha sonra 1939'da Alman matematikçi Ott-Heinrich Keller tarafından herhangi bir sayıda boyuta genelleştirildi. Fields Madalyası sahibi Stephen Smale'in bunu 1998'deki etkili Gelecek Yüzyılın Matematik Problemleri listesine dahil etmesi çok önemli görüldü.

Uzun ömrü boyunca varsayım, 20. yüzyılın iki ünlü matematikçisi Beniamino Segre ve Wolfgang Gröbner'in girişimleri de dahil olmak üzere birçok iddia edilen kanıtın ilgisini çekti. Hiçbiri dayanamadı. Chatbot tarzı bir modelin yardımıyla artık bir karşı örneğin ortaya çıkması, yapay zekanın kanıt oluşturmada olduğu kadar beklenmedik matematiksel nesneleri keşfetmede de ne kadar yararlı olduğunu gösteriyor.

Yüksek Boyutlu Kasa Neden Düştü?

Temel ayrım iki ve üç (veya daha fazla) boyut arasındadır. Cebirsel geometrileri nesiller boyu meşgul eden versiyonu olan orijinal iki boyutlu Jacobian varsayımı hala açıktır. Alpöge ve Claude Fable 5'in bulduğu şey, Keller'in 1939'da formüle ettiği genelleştirilmiş varsayımı yıkmak için yeterli olan üç boyutlu bir karşı örnektir.

Bu başlı başına anlamlı bir sonuçtur. Pek çok araştırmacı, eğer bu varsayım doğruysa, her yerde doğru olacağından şüpheleniyordu. Üçüncü boyuttaki net bir karşı örnek, olasılıklar alanını daraltır ve geri kalan soruyu yeniden çerçevelendirir: İki boyut gerçekten özel midir, yoksa orada da gizlenen bir karşı örnek var mı?

Karşı örneğin kısalığı dikkat çekicidir. Fortune, yapay zeka araçlarının yüzlerce yıllık problemleri birbiri ardına çözmesi nedeniyle matematikçilerin "çok hızlı ve çok rahatsız edici bir değişimle" boğuştuğunu bildirdi. Bir Fields Madalyası sahibi tarafından desteklenen bir sorunu ortadan kaldıran küçük bir formül, tam da bu huzursuzluğu ve heyecanı körükleyen türden bir gelişmedir.

Yapay Zekanın Matematikte Büyüyen Rolü

Büyük dil modelleriyle çalışan matematikçiler yakın zamanda birkaç dikkate değer sonuç ürettiler ve Jacobian varsayımının karşı örneği daha önceki birçok ilerlemeden ayrı duruyor. Alpöge ve Claude Fable 5 arasındaki işbirliği, kaba kuvvet araması yerine kısa ve öz, insanlar tarafından kontrol edilebilir bir yanıt üretti; matematikçilerin doğrulayabileceği ve üzerine inşa edebileceği türden bir çıktı.

Keşif aynı zamanda daha geniş bir modeli de vurguluyor. Sınır modelleri, geniş kombinatoryal alanları keşfetme ve bir insanın asla karşılaşamayacağı aday nesneler önerme konusunda giderek daha yetenekli hale geliyor. Bu adaylar elle doğrulanacak kadar kısa olduğunda, yapay zekanın genişliği ile insan muhakemesi birleşimi güçlü hale gelir.

Gelecek İçin Ne İfade Ediyor

SciTechDaily'in de belirttiği gibi bunun matematiğin geleceği ve insan matematikçiler için ne anlama geldiğini zaman gösterecek. Karşı örnek matematikçileri modası geçmiş kılmaz; Aksine, açık soruyu keskinleştirir ve araştırmacılara yeni ve kesin bir hedef sunar. Ancak bu, yapay zekanın ders kitaplarını özetlemenin ötesine geçerek yaratıcı matematik çalışmalarının kalbine taşındığını güçlendiriyor.

Sonuç aynı zamanda Anthropic için yüksek profilli bir doğrulamadır. Keşiften yalnızca haftalar önce kamuoyuna açıklanan Claude Fable 5, şirketin kendi matematikçilerinden biri tarafından geçen yüzyılın en büyük beyinlerinden bazılarının engel olduğu bir problemi çözmek için kullanıldı. Modellerinin sınırda mantık yürütebildiğini göstermek için yarışan bir şirket için, 1939'da ortaya çıkan bir varsayımdan daha güvenilir çok az onay vardır.

Yapay Zekanın Önünde Olun

Bilim, matematik ve endüstride yapay zeka destekli keşiflerin hızı artıyor. Model sürümlerinin, araştırma buluşlarının ve politika değişikliklerinin sürekli olarak ele alınması için son dakika yapay zeka haberleri masamıza yer işareti koyun.

Daha fazla AI haberini okuyun →