Simons Foundation, matematikçiler için AI çağında rehberlik üzere 15 milyon dolarlık program başlattı

Matematik toplumu için 15 milyon dolarlık ortaklık

Simons Foundation, matematik topluluğunun bu alanda AI'nın hızlı büyümesine uyum sağlamasına yardımcı olacak yeni bir girişim paketi duyurdu. Ortaklık kapsamında Simons Foundation, Anthropic ve OpenAI toplam 15 milyon dolar ve kaynak ayırıyor. Fon, bu finansmanı yönetecek ve dağıtacak; açık yarışma yoluyla, araştırmacıların AI yardımıyla elde edilen en son sonuçları değerlendirmesine, yeni araçları öğrenmesine ve kullanmasına, fikir alışverişinde bulunmasına ve AI kullanımına yönelik kolektif standartlar oluşturmasına destek vermek için çalışmalara ve girişimlere kaynak sağlayacak.

AI kullanımı için topluluk tarafından belirlenen standartlar

„Yapay zeka araştırma manzarasını hızla değiştirirken, matematik topluluğunun bir araya gelip ilerlemenin en iyi yolunu bulmasına yardımcı olmak istiyoruz“ diyor Simons Foundation Başkanı David Spergel. „Şimdi matematiği; teorem ve kanıtlar yığını olarak değil, insan merakının yarattığı kolektif bir kavrayış olarak bütünüyle görme zamanı.“

Anthropic ve OpenAI, ayrıca, Simons Foundation destekli araştırmacılara AI araçları ve hesaplama kaynakları sunacak; bu, matematiği de kapsayacak ve temel bilimler de dahil olacak. Finansman ve kaynaklar topluluk tarafından belirlenecek ve fonun yıllardır sürdürdüğü matematik desteği ve teşvik bağlılığına dayanacak.

Matematikte AI kullanım deneyimi

Fon, bilimde makine öğrenmesine erken dönemde destek olmuştu; Lean teorem kanıt asistanının geliştirilmesini de finanse etti. Bu asistan, matematikçilerin çalışma biçiminde devrim yarattı ve AI yardımıyla kanıt mümkün kıldı. Ayrıca, fon, matematikçileri bu alanda AI'nın rolünü incelemek ve tartışmak üzere bir araya getiren atölyeler, dersler ve işbirlikleri düzenledi.

„Bu, matematik topluluğunun bir araya gelmesi gereken an“ diyor Spergel. „Topluluk, bu araçların nasıl değerlendirildiğine, nasıl güçlendirildiğine ve nasıl kullanıldığına dair tartışmaları yönetmeli; bu, tek bir şirket veya kurum tarafından değil. Programın amacı matematik topluluğunu desteklemek.“

Kaynaklar: simonsfoundation.org