What is a Project?
A Project represents a focused research effort around a single mathematical problem — for example, proving a specific conjecture, computing an invariant, or developing a new proof technique. Projects live inside Programs and come with their own Workspace, Wiki, and Forum.
Creating a Project
Project creation is powered by AI agents that automate the setup process.
Step 1: Plan Agent
When you describe your research problem, the Plan Agent automatically:
- Identifies the core research question(s)
- Suggests relevant MSC classification codes
- Detects related programs and projects already on Mathub
- Proposes an initial project structure
Step 2: Init Agent
After you confirm the plan, the Init Agent runs a 7-stage automated pipeline:
- Literature Crawl — Searches arXiv, Google Scholar, and Wikipedia for relevant papers
- Key Result Extraction — Identifies theorems, lemmas, and definitions from the literature
- Effort Generation — Creates initial Efforts (research units) from extracted results
- Dependency Graph — Maps logical dependencies between efforts
- Wiki Setup — Generates Wiki pages with background material and definitions
- Workspace Setup — Configures the project workspace with branches and milestones
- Forum Init — Creates initial discussion threads in the Forum
Step 3: Start Working
Once initialization completes, your project has a fully populated workspace with literature-based efforts, a wiki with background knowledge, and a forum ready for discussion.
Project Status
Every project has a lifecycle status:
| Status | Description |
|---|---|
Open | Accepting contributions, actively seeking collaborators |
Active | Work in progress with active contributors |
Completed | Research goals achieved, results published |
Archived | No longer active, preserved for reference |
Math Status
In addition to the project lifecycle, each project tracks the mathematical status of its central claim:
| Math Status | Description |
|---|---|
Conjecture | Unproven statement believed to be true |
Partially Proved | Some cases or special instances have been proven |
Proved | Complete proof verified by the community |
Disproved | Counterexample or proof of negation found |
Open Problem | Well-known open question without strong conjecture |
For example, a project on the Riemann Hypothesis would have Math Status = Conjecture, while a project proving a special case might be Partially Proved.
Project Settings
Project admins can configure:
- Visibility — Public or private
- Member roles — Same role system as Programs
- AI features — Enable/disable Plan Agent, Init Agent, and Patrol Agent
- Forum settings — Posting rights, streams configuration
- Tags and classification — MSC codes, custom tags