Simons Foundation, Anthropic ve OpenAI Matematikçilerin Yapay Zekâya Uyumuna 15 Milyon Dolar Ayırdı

Simons Foundation, matematikçilerin yapay zekâya uyumuna 15 milyon dolar taahhüt ediyor

Simons Foundation, matematik topluluğunun araştırmada yapay zekânın hızlı yükselişiyle başa çıkmasına yardımcı olmayı amaçlayan bir dizi girişim başlattı. Bu düzenleme kapsamında foundation, Anthropic ve OpenAI ile ortaklık kuruyor ve üç kuruluş toplamda 15 milyon dolar değerinde fon ve kaynak taahhüt ediyor. Programı Simons Foundation yönetecek ve parayı dağıtacaktır.

Fon neyi destekleyecek

Simons Foundation'ın açıklamasına göre paranın bir kısmı açık bir çağrıyla toplanacak öneriler üzerinden dağıtılacak. Verilecek hibeler dört geniş hedefe yönelik atölye çalışmaları ve girişimleri destekleyecek: araştırmacıların son yapay zekâ destekli sonuçları değerlendirmelerine yardımcı olmak, onlara yeni araçları öğrenme ve kullanma eğitimi vermek, görüşlerini paylaşabilecekleri ortamlar sunmak ve alanında yapay zekânın nasıl kullanılacağına ilişkin ortak standartlar oluşturmak.

Foundation Başkanı David Spergel bu çabayı, yapay zekâ araştırma ortamını yeniden şekillendirirken matematikçilerin bir araya gelip kendi yollarını kendilerinin seçmesi için bir fırsat olarak nitelendirdi. Spergel'e göre bu an, matematiği yalnızca bir teoremler yığını olarak değil, insan merakının inşa ettiği ortak bir anlayış bütünü olarak görmeyi gerektiriyor.

Yapay zekâ laboratuvarlarından araçlar ve işlem gücü

Hibe fonunun ötesinde Anthropic ve OpenAI, foundation tarafından desteklenen araştırmacılara yapay zekâ araçları ve hesaplama kaynakları sağlayacak. Bu desteğin matematiğin ötesine geçip temel bilimlere daha geniş şekilde ulaşması hedefleniyor.

Foundation kendini bu çaba için doğal bir öncü olarak konumlandırıyor. Bilim için makine öğreniminin erken destekçilerinden biriydi ve Lean proof assistant'ın geliştirilmesini finanse etti — bu araç, birçok matematikçinin çalışma biçimini yeniden şekillendirdi ve yapay zekâ destekli kanıtları olanaklı hale getirdi. Ayrıca daha önce de matematikçilerin yapay zekânın disiplinlerindeki büyüyen rolünü incelediği atölye çalışmaları, dersler ve iş birliklerine ev sahipliği yaptı.

Öncelik olarak açıklanan topluluk kontrolü

Spergel, programın topluluk odaklı olması gerektiğini vurgulayarak, yapay zekâ araçlarının nasıl değerlendirileceği, benimseneceği ve kullanılacağına ilişkin kararların tek bir şirket veya kurumda değil, matematikçilerin bütününde olması gerektiğini söyledi. Bu çerçeve, sektörün en büyük iki yapay zekâ geliştiricisinin çabayı birlikte finanse ediyor ve söz konusu araçların bizzat kendilerini sağlıyor olması göz önüne alındığında kayda değer.

Neden önemli

Matematik, yapay zekânın araştırmanın kendisini nasıl değiştirdiğinin en net test örneklerinden biri haline geldi. Proof assistant'lar ve yapay zekâ sistemleri artık matematiksel çalışmaya anlamlı katkılar sunabiliyor ve bu da zorlu pratik soruları gündeme getiriyor: yapay zekâ destekli sonuçlar nasıl doğrulanacak, araştırmacılar hangi becerilere ihtiyaç duyacak ve doğrulama ile atıfı düzenleyen normlar neler olacak.

15 milyon dolarlık program, bu normların araçları geliştiren şirketlere bırakılmak yerine araştırma topluluğu tarafından belirlenmesinin daha iyi olacağına dair bir bahis. Yapı işlerse — bilimsel bir fon kuruluşunun topluluk odaklı hibeleri yönetirken yapay zekâ laboratuvarlarının yazılım ve işlem gücü katkısı sunması — aynı dönüşümle karşı karşıya olan diğer disiplinler için bir şablon haline gelebilir. Ve araç desteği temel bilimlere uzandığı için foundation, matematiği izole bir örnek değil, bu sorularla yüzleşecek birçok alandan ilki olarak görüyor gibi görünüyor.