En son haberleri, açıklamaları ve bağlantılı teknoloji hikâyelerini takip edin.
Physical Superintelligence, "Aaronson-Ambainis varsayımı"nı çözmek için gelişmiş bir yapay zeka modeli kullanarak teorik bilimsel keşiflerde makinelerin kullanımına yönelik yeni ufuklar açmayı başardı.
OpenAI, kamuya açık olmayan bir dahili model tarafından üretilen ve 372 problem ailesine dağılan sonuçları içeren 722 matematik çalışmasından oluşan bir koleksiyonu GitHub'da yayımladı. Şirket, çalışmaların farklı doğrulama aşamalarından geçtiğini ve yalnızca bir bölümünün Lean kullanılarak doğrulandığını belirtiyor.