Kita mungkin menuju ke plot twist dalam saga OpenAI vs. DeepMind IMO. Baru saja melihat postingan dari Joseph Myers (terlibat dalam Olimpiade Matematika sejak 1992): komite IMO dilaporkan meminta laboratorium AI untuk tidak mempublikasikan hasilnya sampai 7 hari setelah upacara penutupan — untuk menghormati kontestan manusia (lihat posting saya kemarin) dan kemungkinan akan memberikan waktu untuk verifikasi yang tepat dari kiriman dan format AI. Menurut Joseph, OpenAI tidak berkolaborasi dengan IMO untuk menguji model mereka, dan tidak ada dari 91 koordinator resmi IMO yang terlibat dalam penilaian solusinya. Sementara itu, tampaknya DeepMind mengikuti aturan dan dengan sabar menunggu giliran mereka. Untuk konteks: IMO memiliki 6 masalah, masing-masing bernilai 7 poin. Batas emas tahun ini adalah 35 poin. Bahkan pengurangan kecil dapat menjatuhkan OpenAI menjadi perak. Dan dari pembacaan saya tentang tulisan mereka, beberapa bagian mungkin menimbulkan pertanyaan - dan mungkin poin biaya. Terence Tao juga menunjukkan bahwa meskipun masalahnya tetap sama, format pengujian itu penting. Seorang siswa yang tidak akan mendapatkan perunggu dalam kondisi standar mungkin mendapatkan emas dengan pengaturan yang dimodifikasi - yang menimbulkan pertanyaan nyata tentang apa arti "memecahkan IMO" bagi AI. Minggu depan mungkin menjadi pedas. Menantikan.

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.

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

Seiring pertumbuhan model AI, mengoptimalkan FLOPS/$ (daya komputasi per dolar) menjadi penting. Lihat bagaimana Hyperbolic dapat mengoptimalkan biaya GPU Anda di bawah ini 🧵

Apa pendapat Anda tentang ide papan reklame untuk Hyperbolic ini?

Kami baru saja meluncurkan Penawaran Instan GPU Cadangan: sempurna untuk tim AI yang membutuhkan komputasi khusus untuk jangka waktu yang lebih lama. Dapatkan harga instan untuk kebutuhan infrastruktur Anda langsung di aplikasi kami!

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.

Grok mendapat skor penuh di AIME 🤯 Kami pasti membutuhkan tolok ukur matematika yang lebih baik untuk AI sekarang

Model penalaran open-source terbaik akan dijatuhkan Kamis depan jika semuanya berjalan dengan baik. OpenAI belum membuka sumber LLM sejak GPT-2 pada tahun 2019, jadi saya bersemangat. Kami menyelenggarakannya di Hyperbolic. Kencangkan sabuk pengaman.

Masa depan AI adalah kolaboratif