South Korea proposes higher AI and chip spending for 2027 — Made in 10