Midas huy động 10 triệu USD từ các nhà đầu tư của Tesla, OpenAI để xác minh AI bằng toán học