IKN Disiapkan Jadi Laboratorium AI, Dana Smart City Tembus US$ 2,49 Juta