Organizations
Explore companies, research labs, universities, nonprofits, and public institutions across the AI ecosystem.
DeepSeekDeepSeek develops open-weight foundation models for reasoning, coding, agents, and general language tasks. Its mixture-of-experts architectures, reinforcement-learning methods, permissively released weights, and detailed technical reports have made it an important reference point for efficient frontier-model development and open model competition.
AxiomAI mathematics startup building systems for formal reasoning, theorem proving, and mathematical problem solving.
HarmonicAI company building Aristotle, a mathematical reasoning system that combines informal reasoning with formal verification so answers can be checked rather than merely generated. Harmonic is focused on theorem proving, Lean-backed verification, and high-stakes domains where correctness matters.
Moonshot AIMoonshot AI develops the Kimi family of foundation models and the Kimi assistant. The lab is known for long-context systems and open-weight models for reasoning, coding, multimodal work and agents; its technical team includes inventors of Transformer-XL and RoPE.
Deep CogitoDevelops open-weight Cogito language models that can answer directly or reason before responding. Its research explores iterative self-improvement—training models to internalize useful reasoning rather than relying only on longer inference-time search.