Biden floats nearly $20M in prizes for AI tools that secure US computer code