John McCarthy (nhà khoa học máy tính) in 2025 — year in review, news & activity