Mirendil Inc., a provider of software that speeds up artificial intelligence development, has raised $1 billion in funding.