OpenAI, matematikçilerin on yıllardır çözemediği on matematik problemini çözen Astra adlı yapay zeka modelini tanıttı

OpenAI, yeni bir yapay zeka modeli olan Astra'nın varlığını resmen doğruladı ve onu 'bir sonraki büyük model ailesi' olarak tanımladı. Astra'nın dahili bir sürümü, araştırmacıların en az on yıldır, hatta bazı durumlarda çok daha uzun süredir üzerinde başarısız bir şekilde çalıştığı matematik ve teorik bilgisayar bilimindeki on açık problemi çözmeye yardımcı oldu. Çözülen problemler arasında yüksek boyutlu geometri, kodlama teorisi, grup teorisi, kuantum karmaşıklığı, kafes tabanlı kriptografi ve ekstremal kombinatorik konuları yer alıyor. Özellikle Astra, varlığı uzun yıllardır tartışılan bir nesne olan ilk sofic olmayan grup örneğini oluşturdu. Manchester Üniversitesi'nden matematikçi Thomas Bloom, sonuçları 'büyük haber' olarak nitelendirdi ve bunların Mayıs ayındaki birim mesafe varsayımına karşıt örnekten daha önemli olduğunu belirtti, ancak yapay zekanın yakında matematikçilerin yerini alacağına inanmıyor, çünkü yapay zeka sistemleri matematik topluluğunun uzun vadeli çalışmaları üzerine inşa ediliyor. OpenAI'de akıl yürütme teknolojisi geliştiricisi olan Noam Brown, şirketin Astra'yı diğer ünlü açık problemlere uygulamayı denediğini ancak şimdiye kadar başarılı olamadığını söyledi ve X'te şunları yazdı: 'Maalesef, henüz Milenyum Ödülü problemi yok.' Clay Matematik Enstitüsü, yedi Milenyum Ödülü probleminin her biri için 1 milyon dolar ödüyor ve 2000'den bu yana bunlardan yalnızca biri çözüldü. OpenAI, on çözümün tamamı için gereken hesaplamanın, Sol modeli için mevcut API ücretleriyle yaklaşık 2.000 dolara mal olacağını tahmin ediyor. Araştırmacılar fikirleri tam bilimsel makalelere dönüştürdü ve tüm kanıtlar, bir programlama dili ile etkileşimli bir kanıt denetleyicisini birleştiren ve makine tarafından doğrulanmış kanıtlar sağlayan bir sistem olan Lean'de resmileştirildi. OpenAI, her sonuç için adım adım akıl yürütmeyi yayınlayarak, nihai yayınlardan araştırmacıların sorumlu olduğunu ancak matematiksel fikirlerin ve kanıt mantığının Astra'dan geldiğini vurguladı. Daha önce OpenAI, uzun ve karmaşık görevler için yeni bir model ailesi geliştirdiğini söylemişti ve CEO Sam Altman, Astra'yı ABD hükümeti ve düzenleyici yetkililere tanıtarak birçok yapay zeka aracısını koordine etme yeteneğini vurguladı. Kaynaklara göre Astra, Sol, Terra ve Luna model ailelerine katılacak ve ticari adı bilinmiyor. OpenAI ayrıntılı bir teknik rapor yayınlama sözü verdi. Yeni modeller dahili testlerden geçiyor ve gelişmiş yapay zeka modelleri için ABD prosedürü kapsamında değerlendirilecek ilk modeller olacak; asıl zorluk ise istikrarlı uzun zincirli akıl yürütme.