About olymmath

olymmath collects the problems and the solutions of all mathematical olympiads in one place. It shows the human text first, and it shows the source of each text.

The rules

1. One problem has one page. When a problem appears in two competitions, for example in the IMO Shortlist and in the IMO, the page shows the two appearances.
2. The statement of a problem comes from a human source. The order of preference is: the official text, an official translation, a curated collection, a community post, a dataset. A model never writes a statement.
3. Each text shows its source, its origin and its licence zone.
4. Official and human solutions come first. AI solutions come after them, with the model, the date and the grade.
5. olymmath does not go around the bot protection of any site. When a site does not allow copies, olymmath shows a link.

Licence zones

Z1, open licence

The full text is on olymmath, under its licence, with credit to the author.

Z2, quoted with source

The statement and the facts are on olymmath, with the source and a link. A solution shows its author, a short excerpt and a link.

Z3, link only

olymmath shows the facts and a link to the source.

Licences of olymmath

The metadata of olymmath is under CC0 1.0. The solutions of contributors are under CC BY-SA 4.0. The code is under the Apache License 2.0. A third-party text keeps its own licence. Each page tells you which licence applies.

Remove a text

Are you the holder of the rights of a text on olymmath? Open an issue in the content repository, and we remove the text or change it to a link in 7 days.

The project

The content is in tamnd/olymmath. The toolchain is in tamnd/olymmath-agent. The specification is in the spec directory of the toolchain.