Midas, Yapay Zekayı Matematiksel Olarak Doğrulamak İçin Tesla ve OpenAI Yatırımcılarından 10 Milyon Dolar Sağladı