Midas、テスラおよびOpenAI投資家から1000万ドルを確保し、AIの数学的検証を目指す