企查查显示，近日，海南海矿信息科技有限公司成立，法定代表人为滕磊，经营范围包含：人工智能应用软件开发；智能机器人的研发；智能机器人销售；人工智能行业应用系统集成服务等。企查查股权穿透显示，该公司由海南矿业全资持股。