Topik trending
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Jasper
Salah satu pendiri dan CEO @Hyperbolic_Labs. mantan @avax & mantan @citsecurities. Menyelesaikan PhD Matematika dalam 2 tahun @UCBerkeley. Peraih Medali Emas Olimpiade Matematika. Kehormatan tertinggi @PKU1898
Senang menjadi yang pertama menjadi tuan rumah model pengkodean teratas Qwen3-Coder di @huggingface! Terima kasih atas kepercayaan Anda, @Alibaba_Qwen @JustinLin610 @huybery 💜
10 jam lalu
Kami sekarang melayani Qwen3-Coder-480B-A35B & Qwen3-235B-A22B-2507 di Hyperbolic!
Qwen3-Coder-480B mencapai hasil yang sebanding dengan Claude Sonnet 4 pada tolok ukur pengkodean, benar-benar luar biasa!
@JustinLin610 dan @huybery adalah geng 420 di Cina, terus mengirimkan model hingga pukul 6 pagi waktu Cina!
LFG, AI sumber terbuka! 💪
1,22K
Sungguh akhir pekan yang liar tentang AI dan IMO. Melihat kembali 3 hari terakhir, saya menyaksikan:
> Jumat sore: bocoran informasi tentang DeepMind memenangkan emas
> Sabtu 1 pagi: OpenAI memimpin pengumuman resmi, mencuri sorotan
> Awalnya mengira Google hanya lambat karena persetujuan pemasaran
> Kemudian mendengar dari orang-orang Google bahwa IMO dan diri mereka sendiri membutuhkan waktu ekstra untuk verifikasi
> Ternyata OpenAI bahkan tidak melibatkan IMO secara resmi
Senin >: DeepMind mengkonfirmasi emas mereka dengan jawaban yang lebih bersih dan lebih estetis, sepenuhnya diverifikasi oleh IMO
Sangat menyenangkan menjadi yang pertama membagikan berita di X Jumat lalu. Akhir pekan yang liar!
Selain lelucon, ada banyak hype seputar AI matematika akhir-akhir ini, tetapi yang lebih kita butuhkan adalah ketelitian dan standarisasi. Seperti yang ditunjukkan Terence Tao, meskipun hasilnya terlihat mirip, perbedaan format pengujian dapat membuat perbedaan besar. Kami masih jauh dari memiliki standar dan pesan yang jelas dan konsisten dalam penelitian AI.
Jika kita menginginkan kemajuan yang berarti, inilah saatnya bagi komunitas untuk melangkah. Mari kita bangun tolok ukur yang dapat kita semua percayai.
19 Jul, 06.25
Hanya 20 menit yang lalu, hasil IMO 2025 keluar.
China peringkat No.1 dan @GoogleDeepMind memenangkan medali 🥇 emas
Kompetisi matematika di masa depan adalah tim China vs tim Cina AS vs AI
4,77K
DeepMind mendapatkan medali emas di IMO pada Jumat sore. Tetapi mereka harus menunggu pemasaran untuk menyetujui tweet itu - hingga Senin.
@OpenAI membagikan mereka pertama kali pada pukul 1 pagi pada hari Sabtu dan mencuri perhatian.
Dalam game ini, kecepatan > birokrasi. Lewatkan momen, hilangkan narasinya.
215,04K
Baru saja pulang kerja dan mencoba Grok-4 pada masalah topologi sarjana. Butuh 9 menit untuk berpikir dan kemudian dengan percaya diri memberikan jawaban 😅 yang bersih, masuk akal, tetapi benar-benar salah
Jangan berpikir yang satu ini memenuhi syarat sebagai "permusuhan yang terampil." Model AI menghancurkan tolok ukur — tetapi masih jauh ke depan untuk AGI matematika nyata.
10 Jul, 16.47
Grok 4 berada pada titik di mana pada dasarnya tidak pernah salah soal ujian matematika/fisika, kecuali jika mereka bermusuhan dengan terampil.
Itu dapat mengidentifikasi kesalahan atau ambiguitas dalam pertanyaan, kemudian memperbaiki kesalahan dalam pertanyaan atau menjawab setiap varian pertanyaan ambigu.
663,06K
Grok mendapat skor penuh di AIME 🤯 Kami pasti membutuhkan tolok ukur matematika yang lebih baik untuk AI sekarang
10 Jul, 12.01
Memperkenalkan Grok 4, model AI paling kuat di dunia. Tonton siaran langsungnya sekarang:
3,06K
Teratas
Peringkat
Favorit