researchsimonsfoundation.org
•1 mnt
Simons Foundation Luncurkan Program $15 Juta: Kolaborasi Matematikawan Murni dan AI Pembuktian Teorema
Simons Foundation bersama OpenAI mengucurkan inisiatif dana riset $15 juta untuk membantu komunitas matematika internasional memanfaatkan AI penalaran dan verifikasi bukti formal (Lean) guna mengeksplorasi batas baru sains teoretis.
Baca selengkapnya→#Simons Foundation