Perkembangan AI ♟️ 1997 Deep Blue: menggunakan pencarian brute-force untuk gerakan probabilistik terbaik. Tidak ada pembelajaran. mengalahkan Kasparov. ⚪️ 2016 AlphaGo: jaring saraf dipelajari melalui permainan mandiri dan mengalahkan Lee Sedol. Move 37 kreatif oleh AI. Langkah 78 Lee adalah 1 dari 10.000 dan mematahkan AlphaGo dan dia memenangkan satu pertandingan. Turnamen yang kalah. 🧮 LLM 2025: membaca teks matematika dan memverifikasi bukti mereka sendiri dan mendapatkan emas pada masalah IMO.