36氪获悉，爱企查App显示，近日，海南海矿信息科技有限公司成立，法定代表人为滕磊，注册资本1000万元人民币，经营范围包括人工智能应用软件开发、智能机器人的研发、智能机器人销售、人工智能行业应用系统集成服务等。股东信息显示，该公司由海南矿业股份有限公司全资持股。