Midas, 테슬라 및 OpenAI 투자자로부터 1천만 달러 확보, AI 수학적 검증 목표