About Alphabeta Math

Scope

Alphabeta Math holds 75,922 definitions, theorems, physical postulates, experiments, examples, open problems, and other entries across 4,417 pages from both the mathematics and physics libraries, covering everything from first-year undergraduate fundamentals to current research frontiers.

Methodology

We use sophisticated AI workflows to:

1. Crawl the open web for authoritative textbooks, lecture notes, and research articles.
2. Document dependency relationships between definitions, theorems, and examples.
3. Distinguish between different types of assumptions: mathematical axioms, definitions, physical postulates, and experiments.
4. Fill in missing assumptions, proofs, and proof steps.

Provenance

Most results are sourced from human experts. AI plays the supporting role of reconciling differences in notation and making assumptions and dependency relationships explicit. The extent of AI authorship for each proof is documented and displayed.

Mathematical soundness

AI-generated proofs are rigorously verified through a combination of deterministic and LLM-powered mechanisms: circular reasoning is mechanically prevented, while the semantic accuracy of statements is repeatedly verified by independent agents. The blast radius of any undetected error is contained by directly importing statements from the original literature.

Licence and cost

CC BY-NC-SA 4.0. This library is free to read and use for self-study and educational purposes. Users intending commercial use must seek approval and enquire about licence fees from the owner.

This project is self-funded, and donations of any amount are appreciated. Donate.