Postęp AI ♟️ 1997 Deep Blue: używał przeszukiwania siłowego do znalezienia najlepszych probabilistycznych ruchów. Bez uczenia. Pokonał Kasparowa. ⚪️ 2016 AlphaGo: sieci neuronowe uczyły się poprzez samodzielną grę i pokonały Lee Sedola. Ruch 37 był kreatywny ze strony AI. Ruch Lee'a 78 miał szansę 1 na 10 000 i złamał AlphaGo, a on wygrał jedną grę. Przegrał turniej. 🧮 2025 LLMs: czytają teksty matematyczne, weryfikują własne dowody i zdobywają złoto w problemach IMO.