AI for Formal Mathematical Reasoning

欢迎探索月之暗面，寻求将能源转化为智能的最优解

Building frontier AI models to speed up scientific discovery and generate valuable insights that address complex challenges.

Thinking Machines Lab is an artificial intelligence research and product company. We're building a future where everyone has access to the knowledge and tools to make AI work for their unique needs and goals.

Graphon AI is building a new class of models - Relationship Systems Models (RSMs), powered by a patent-pending graph architecture that understands relationships across video, audio, images, and complex documents.

H is an AI Research Lab and Product Company

MiniMax is a leading global technology company and one of the pioneers of large language models (LLMs) in Asia. Our mission is to build a world where intelligence thrives with everyone.