MathLab
10 articles
Educational
Conducting Mathematical Research with AI
AI is a powerful research partner for mathematics — but using it well requires a different approach than standard AI cha…
Understanding the 10-Round Session Structure
MathLab sessions are capped at 10 rounds. This is not a limitation — it is a design choice that produces better research…
FAQ
What Is the Mathematics Lab?
The Mathematics Lab is an AI-assisted research environment for mathematical exploration. It pairs you with frontier AI m…
What Is the War Room?
The War Room is the advanced research mode within the Mathematics Lab. It combines Opus-tier AI with a corpus system — a…
Research Tiers: Haiku, Sonnet, Opus
Three AI models, three capability levels. Haiku (free tier) is fast and capable for straightforward problems. Sonnet (Pr…
Free vs Pro Features
Free: Haiku-tier sessions (fast, capable for straightforward problems), limited rounds per day. Pro: Sonnet and Opus tie…
Methodology
Research Session Management
MathLab sessions are structured research environments with defined boundaries — a selected model tier, up to 10 rounds o…
Corpus System & Document Retrieval
The corpus system gives the War Room a memory. Load mathematical papers, prior session results, theorem definitions, or …
Round Mechanics & Cost Model
Each MathLab session allows up to 10 rounds. Each round consists of one prompt from you and one response from the AI. Pe…
Multi-Model Consensus Approach
For critical mathematical results, a single AI model opinion is not enough. The multi-model consensus approach submits t…