White House proposes shifting $200B R&D budget toward AI · Digg