whereismyai
Math
Math is an open repository of mathematical manuscripts and proof artifacts produced by an internal model.
This repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model during research evaluations. The collection includes 722 manuscripts organized into 372 families classified by mathematical discipline, featuring principal results, companion arguments, consequences, and alternative proofs. Many manuscripts include Lean formalizations and source files with citation and build instructions. The materials cover diverse subjects such as the irrationality exponent of pi, Mahler conjectures, and quasipolynomial bounds for arithmetic progressions. Most results were obtained using an unreleased internal OpenAI model with three hours of thinking compute per result.
Math at a glance
- Best for: Researcher
- Runs on: Web
- Pricing: Free
- Released: October 2026
- Category: AI research tool
- Website: github.com/openai/math
Key features
- Contains 722 manuscripts organized into 372 families
- Includes PDFs, source files, and build instructions
- Provides Lean library and formalization catalogue
- Supplies abridged reasoning summaries for select results
- Offers manuscript-specific citation data
Use it for
- Browse mathematical manuscripts and proof artifacts
- Access Lean formalizations and formal proofs
- Read reasoning summaries for model-generated results
- Cite specific manuscripts using provided BibTeX blocks
Alternatives to Math
- Lemma — Read mathematics with interactive proofs, reference links, and checked derivations.
- OpenResearch — Run parallel research workflows locally or on remote compute.
- ARIS — Cross-model review loops verify research steps without framework lock-in.
- Scite — It uses direct publisher agreements to verify scientific claims with exact source links.
- Paper2Agent — It enables direct interaction with research papers and automatic result reproduction.
- AutoIllustrate — Produces fully editable vector diagrams and enhanced figures for research papers.
- Open Science — Local-first design with persistent Python and R kernels and traceable artifacts.
- HyperResearch — Generates verified reports with citations checked against full source texts and a persistent vault.
- ResearchRabbit — Access over 310 million academic papers and map research fields visually.
- Elicit — It searches 138 million papers and automates systematic literature reviews.
- Gauth — It connects solving steps with detailed explanations and 24/7 access to real tutors.
- PaperFold Gallery — Explore landmark research papers from eight fields as expandable maps.
All Math alternatives