Chatbot AI Kalahkan 30 Matematikawan Top Dunia, Jawab Soal yang Belum Terpecahkan Rancak 14 July, 2025 Chatbot penalaran milik OpenAI, o4-mini mampu menjawab soal matematika tingkat tinggi, bahkan soal yang belum pernah terpecahkan Technology