See what the world is building.

AI for Research, Grounded in Evidence

Your AI co-worker on your computer

AI academic search engine for peer-reviewed literature—your research OS

Research faster with AI-powered summarisation and analysis

AI for Scientific Research

Meet Your Intelligent Research Assistant

Write faster. Work smarter.

We research and build safe artificial intelligence systems.

AI Workspace Where Context Never Disappears

Ethical AI that helps you research, write and cite more efficiently.

Turn highlights into AI-readable context with semantic colors and MCP access.

Behind every AI: a human expert. Every result is backed by human intelligence.

AI native storage that surfaces the right information when you need it.

We research and build safe artificial intelligence systems.

AI for people who can't afford to make mistakes

The North Star for AGI — open-source benchmarks and prizes.

Building frontier AI systems blending intuitive pattern recognition and formal reasoning.

Formal verification and AI — research and engineering from Theorem.

Radically better research and discovery

Deep research for anything worth knowing

Safe, useful AI software built for human flourishing

Empowering the World's Experts with open source optimization tools

Crowdsourcing AI to solve real-world problems

Document Conversion Done Right

AI for people who can't afford to make mistakes

Research, Cite, and Write With AI

Building AI to simulate the world through merging art and science