英伟达投资初创公司 Harmonic，后者专注开发解决数学问题的 AI 系统