Midas 獲得特斯拉、OpenAI 投資者 $1000 萬融資,用於數學驗證 AI