24H AI dan Dinamika Teknologi:
Model internal OpenAI mengatasi tantangan matematika: OpenAI mengumumkan bahwa model AI internalnya (dikenal sebagai 'goblin') telah menyelesaikan masalah jarak unit datar yang diusulkan oleh Paul Erdős pada tahun 1946, menandai kemajuan signifikan AI dalam pembuktian formal dan penelitian matematika.
Makalah baru dan proyek open-source bermunculan (arXiv 21-22 Mei): MOSS: sistem agen otonom yang mencapai evolusi diri melalui penulisan ulang tingkat kode sumber, dengan kode GitHub terlampir.
Gated DeltaNet-2: memisahkan penghapusan dan operasi penulisan dalam perhatian linier, implementasi open-source dari NVlabs.
Memajukan Penelitian Matematika dengan Pencarian Bukti Formal yang Didorong AI: Kolaborasi multinasional, termasuk Google DeepMind, menggunakan AI untuk memajukan pencarian bukti formal matematika.
Sorotan lainnya termasuk DeepWeb-Bench (benchmark penelitian mendalam), SOLAR (agen otonom pembelajaran sepanjang hayat), WorkstreamBench (evaluasi agen LLM spreadsheet keuangan), fokus pada agen, penalaran, dan multimodal.
AI open-source mendukung pengembangan robot: NVIDIA, Hugging Face, dan lainnya mendorong platform robot open-source (seperti model dunia Cosmos, model GR00T, LeRobot), menurunkan hambatan untuk membangun robot cerdas bertubuh, mendukung tugas AI fisik dan penalaran.
Pembaruan produk dan dinamika perusahaan:
Laporan Q1 Zoom: pertumbuhan pendapatan, jumlah pengguna berbayar AI Companion melonjak 184%, menaikkan panduan tahunan.
Q1 Workday: strategi AI mendorong pendapatan melebihi ekspektasi.
Adobe, Canva, CapCut mengintegrasikan Gemini, memungkinkan pengeditan gambar/video dalam aplikasi.
ElevenLabs meluncurkan aplikasi suara AI, memberikan lisensi untuk 200.000 buku suara.
Trump menunda penandatanganan perintah eksekutif AI, dikabarkan karena menentang regulasi berlebihan, pernah berkomunikasi dengan Zuckerberg, Musk, dan Sacks.
Lainnya:
Spotify bekerja sama dengan Universal Music, mendukung penggemar untuk membuat cover/remix yang dihasilkan AI; proyek komunitas aktif seperti firewall AI open-source, alat SDR; AmpliTech menunjukkan demonstrasi teknologi AI-RAN open-source.
#AI动态 #科技新闻
Selamat datang untuk mengikuti dokter Liao - kreator dengan 10.000 pengikut di Binance Square
Model internal OpenAI mengatasi tantangan matematika: OpenAI mengumumkan bahwa model AI internalnya (dikenal sebagai 'goblin') telah menyelesaikan masalah jarak unit datar yang diusulkan oleh Paul Erdős pada tahun 1946, menandai kemajuan signifikan AI dalam pembuktian formal dan penelitian matematika.
Makalah baru dan proyek open-source bermunculan (arXiv 21-22 Mei): MOSS: sistem agen otonom yang mencapai evolusi diri melalui penulisan ulang tingkat kode sumber, dengan kode GitHub terlampir.
Gated DeltaNet-2: memisahkan penghapusan dan operasi penulisan dalam perhatian linier, implementasi open-source dari NVlabs.
Memajukan Penelitian Matematika dengan Pencarian Bukti Formal yang Didorong AI: Kolaborasi multinasional, termasuk Google DeepMind, menggunakan AI untuk memajukan pencarian bukti formal matematika.
Sorotan lainnya termasuk DeepWeb-Bench (benchmark penelitian mendalam), SOLAR (agen otonom pembelajaran sepanjang hayat), WorkstreamBench (evaluasi agen LLM spreadsheet keuangan), fokus pada agen, penalaran, dan multimodal.
AI open-source mendukung pengembangan robot: NVIDIA, Hugging Face, dan lainnya mendorong platform robot open-source (seperti model dunia Cosmos, model GR00T, LeRobot), menurunkan hambatan untuk membangun robot cerdas bertubuh, mendukung tugas AI fisik dan penalaran.
Pembaruan produk dan dinamika perusahaan:
Laporan Q1 Zoom: pertumbuhan pendapatan, jumlah pengguna berbayar AI Companion melonjak 184%, menaikkan panduan tahunan.
Q1 Workday: strategi AI mendorong pendapatan melebihi ekspektasi.
Adobe, Canva, CapCut mengintegrasikan Gemini, memungkinkan pengeditan gambar/video dalam aplikasi.
ElevenLabs meluncurkan aplikasi suara AI, memberikan lisensi untuk 200.000 buku suara.
Trump menunda penandatanganan perintah eksekutif AI, dikabarkan karena menentang regulasi berlebihan, pernah berkomunikasi dengan Zuckerberg, Musk, dan Sacks.
Lainnya:
Spotify bekerja sama dengan Universal Music, mendukung penggemar untuk membuat cover/remix yang dihasilkan AI; proyek komunitas aktif seperti firewall AI open-source, alat SDR; AmpliTech menunjukkan demonstrasi teknologi AI-RAN open-source.
#AI动态 #科技新闻
Selamat datang untuk mengikuti dokter Liao - kreator dengan 10.000 pengikut di Binance Square