Geliştiricilerin Gemini 2.5 Pro ile harika işler başardığını gördük , bu yüzden geliştiricilerin eline daha erken ulaşabilmek için güncellenmiş sürümü birkaç hafta erken yayınlamaya karar verdik. Bugün […]
Devamını okuKategori: Güncel
DeepSeek, DeepSeek-Prover-V2’yi Tanıttı: Yinelemeli Kanıt Arama ve Yeni Bir Ölçüt ile Sinirsel Teorem Kanıtlamayı Geliştirme
DeepSeek AI, Lean 4 teorem ispatı için açık kaynaklı bir LLM olan DeepSeek-Prover-V2’yi yayınladı. Eğitim verileri ve takviyeli öğrenme için DeepSeek-V3 ile yinelemeli ispat aramasını kullanarak MiniF2F’de en iyi sonuçları elde ediyor.
Devamını oku
Stanford HAI Konferansı İnsan Merkezli Bir Dünyada Robotik Bilimini İnceliyor: Abartı, Umut ve Gelecek Yönleri
Bilim insanları, verilere, genellemeye ve daha iyi insan deneyimine duyulan ihtiyaca odaklandı. Robotlar artık gömlekleri başarıyla katlayabiliyor, ama gerçek anlamda kullanışlı bir ev robotundan çok […]
Devamını oku
Amplify Girişimi: Küreselleşmiş yapay zeka için yerelleştirilmiş veriler
Google Research, çeşitli dillerde veri toplamayı ölçeklendirmek için küresel, açık ve topluluk tabanlı bir veri platformu oluşturan Amplify Girişimini tanıttı. Üretken yapay zeka modelleri, eğitimden […]
Devamını oku
