What is Mathub?
Mathub is an open-source collaborative platform for mathematical research — think of it as GitHub for Mathematics. It provides structured workspaces for organizing research efforts, AI-powered tools for literature discovery, and collaborative features like wikis, forums, and structured proof editing. Whether you're working on a conjecture alone or coordinating a large research program with dozens of collaborators, Mathub helps you stay organized and move faster.
Sign Up / Log In
Mathub supports multiple authentication methods:
- GitHub OAuth — Sign in with your GitHub account (recommended for developers)
- Google OAuth — Sign in with your Google account
- Email & Password — Create a standalone Mathub account
Navigate to Sign Up
Click the "Sign Up" button in the top-right corner of the Navbar, or visit /auth/signup directly.
Choose Your Method
Select GitHub, Google, or fill in the email/password form. If you choose OAuth, you'll be redirected to the provider and back automatically.
Complete Your Profile
After signing up, visit Settings to add your display name, institution, bio, and ORCID identifier.
Interface Overview
Navbar
The top navigation bar gives you quick access to Explore (browse programs and projects), People (find collaborators), AI Assistant (your personal research assistant), search, notifications, and your profile menu.
Home Page
When logged in, the home page shows your dashboard: recent projects, activity feed, and notifications. When logged out, it shows the landing page with featured programs and platform stats.
Explore
The Explore page lets you browse all public programs and projects, filtered by MSC (Mathematics Subject Classification) categories.
Create Your First Project
Follow these steps to create a new research project on Mathub:
Click "New Project"
Click the + button in the Navbar or navigate to the project creation page.
Describe Your Research Problem
Enter a title and description for your project. Be specific — for example:
"Investigate whether every bounded linear operator on a separable Hilbert space has a non-trivial invariant subspace."
AI Plan Agent
The Plan Agent automatically analyzes your description, identifies the core research questions, and detects related programs on Mathub.
Init Agent Pipeline
The Init Agent runs a 7-stage pipeline:
- Crawl relevant literature (arXiv, Google Scholar)
- Extract key results and definitions
- Generate initial efforts (theorems, lemmas, conjectures)
- Build a dependency graph between efforts
- Create wiki pages with background knowledge
- Set up the project workspace
- Initialize the discussion forum