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

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.