GAUSS math (General Assessment of Underlying Structured Skills in Mathematics) is an open benchmark and research community for evaluating AI on advanced mathematics.
This repository serves two purposes:
- Main Page — the landing page of the GAUSS math organization.
- Blog — detailed introductions, updates, and information about GAUSS.
- Design skill-based tasks to capture different dimensions of mathematical reasoning.
- Curate high-quality datasets from Olympiads, graduate-level coursework, and research sources.
- Build proof evaluation agents to automatically verify proofs, moving toward math AI.
- Realize math AI systems capable of solving advanced mathematical problems.
- Main Page → Organization overview and quick navigation.
- Blog → Extended introductions, updates, and documentation about GAUSS.
We welcome contributions of:
- New math problems with standard solutions and rubrics
- Evaluation methods and analysis tools
- Blog posts with updates or introductions related to GAUSS
All content in this repository is released under the MIT License, unless otherwise stated.