米AI計画に日本が800億円拠出へ