Ark
Multi-expert AI operating environment
An active ecosystem of specialist agents for strategy, invention, science, policy, and domain advice, designed to orchestrate serious work rather than single prompts.
Capabilities: route, advise, orchestrate
Pattern: expert-agent system
Users: labs, partners, decision-makers
Status: active internal build environment across multiple research threads.
Einstein
Scientific discovery engine
A discovery system for hypotheses, constructive-science programs, rediscovery benchmarks, operator libraries, and evaluation of scientific claims.
Capabilities: discover, construct, invent
Pattern: discovery OS
Users: researchers, labs
Status: active build with testbeds spanning materials and the physics of intelligence.
Related platform
Gauss
AI-assisted mathematics
A mathematical discovery and theorem handoff stack connecting conjecture generation, proof planning, Lean formalization, and draft auditing.
Capabilities: conjecture, formalize, verify
Pattern: theorem pipeline
Users: mathematicians, theorists, AI researchers
Status: active bridge between scientific reasoning and formal proof workflows.
20W AI
Efficient invention and health AI sandbox
A lightweight invention-management environment exploring energy-aware AI and evidence-centric MRI report generation with provenance-bearing intermediate states.
Capabilities: invent, track evidence, manage search
Pattern: invention manager
Users: health AI researchers, builders
Status: active prototype environment with a live MRI research direction.
Related platform
Eight-Sense AI
Embodied multimodal intelligence
A starter architecture for intelligence built around vision, audition, touch, proprioception, world modelling, memory, planning, action, and homeostatic safety.
Capabilities: perceive, model, act
Pattern: embodied cognitive system
Users: AGI, robotics, cognitive systems researchers
Status: active architectural prototype connected to first-principles intelligence work.
Virtual PhD + GrantOS
AI-native research operations
Systems for supervision, literature search, ideation, experiment planning, reviewer simulation, and grant strategy in an era where AI is part of the research team.
Capabilities: manage, supervise, fund
Pattern: research OS
Users: students, supervisors, funders
Status: active internal infrastructure for how research groups may operate next.