The US Government’s $250 Million Bet To Solve Two Key AI Problems