Midas 获得特斯拉、OpenAI 投资者 $1000 万融资,用于数学验证 AI