Tiến trình của AI ♟️ 1997 Deep Blue: sử dụng tìm kiếm brute-force để tìm các nước đi xác suất tốt nhất. Không có học tập. đã đánh bại Kasparov. ⚪️ 2016 AlphaGo: mạng nơ-ron học qua tự chơi và đánh bại Lee Sedol. Nước đi 37 là sáng tạo của AI. Nước đi 78 của Lee là 1 trong 10.000 và đã phá vỡ AlphaGo, và anh ấy đã thắng một trận. Thua giải đấu. 🧮 2025 LLMs: đọc các văn bản toán học và xác minh các chứng minh của chính chúng và kiếm vàng trong các bài toán IMO.