Adam, Adam, yang f.. k adalah Adam?

Makalah ini membuat klaim yang berani! Momen AlphaGo untuk Penemuan Arsitektur Model Para peneliti memperkenalkan ASI-Arch, Kecerdasan Super Buatan pertama untuk Penelitian AI (ASI4AI), memungkinkan inovasi arsitektur saraf yang sepenuhnya otomatis. Tidak ada ruang pencarian yang dirancang manusia. Tidak ada manusia dalam lingkaran. 🔍 Terobosan Utama ASI-Arch: - Pembuatan & pelatihan kode otonom - 1.773 eksperimen dilakukan (20K+ jam GPU) - 106 arsitektur perhatian linier SOTA baru ditemukan - Meluncurkan undang-undang penskalaan untuk penemuan ilmiah

⏱️AI membuat proses verifikasi lebih mudah, dengan model memverifikasi bukti dalam hitungan menit. 💻 Sekarang, @prfsanjeevarora, @chijinML, @danqi_chen dan @PrincetonPLI telah merilis Goedel Prover V2, model yang lebih efisien dan lebih akurat daripada model sebelumnya. 👉

Versi lanjutan Gemini dengan Deep Think telah secara resmi mencapai kinerja tingkat medali emas di Olimpiade Matematika Internasional. 🥇 Ini memecahkan 5️⃣ dari 6️⃣ masalah yang sangat sulit, yang melibatkan aljabar, kombinatorika, geometri dan teori bilangan. Begini caranya 🧵

BatchNorm memenangkan Penghargaan Test-of-Time di #ICML2025! 🎉 BatchNorm merevolusi pembelajaran mendalam dengan mengatasi pergeseran kovariat internal, yang dapat memperlambat pembelajaran, membatasi tingkat pembelajaran, dan menyulitkan untuk melatih jaringan mendalam. Dengan menormalkan input dalam setiap batch mini, BatchNorm secara signifikan menstabilkan dan mempercepat pelatihan. Ini memungkinkan tingkat pembelajaran yang lebih tinggi, meningkatkan aliran gradien, dan membuka jalan bagi arsitektur yang jauh lebih dalam seperti ResNet. Selain mengurangi pergeseran kovariat internal, BatchNorm juga memperlancar lanskap pengoptimalan dan meningkatkan generalisasi model, menjadikannya landasan pelatihan jaringan saraf modern. Sangat layak, @Sergey_xai dan @ChrSzegedy!

#ICML2025 penghargaan tes waktu

Kertas @Scale_AI baru! 🌟 LLM yang dilatih dengan RL dapat mengeksploitasi peretasan hadiah tetapi tidak menyebutkan ini di CoT mereka. Kami memperkenalkan penyempurnaan verbalisasi (VFT)—mengajarkan model untuk mengatakan kapan mereka merebut peretasan—secara dramatis mengurangi tingkat peretasan yang tidak terdeteksi (6% vs. baseline 88%).

seorang pria membuat kumpulan data 50 buku dari London 1800-1850 untuk pelatihan LLM. tidak ada bias modern. Sebenarnya sangat keren untuk melihat apa yang bisa dilatih di dalamnya!

Par, bahasa ekspresif, bersamaan, total* dengan tipe linier dan dualitas penuh. Berdasarkan Logika Linier dan Jenis Sesi, Par memiliki fitur fungsional dan imperatif yang terintegrasi dengan mulus

Ceri seukuran melon di atas :)