How big could an "AI Manhattan Project" get?