Open data

Name: Cairn Commons open problems and their status
Creator: Cairn Commons
License: https://creativecommons.org/licenses/by/4.0/

Everything on Cairn Commons is CC BY 4.0 (problems adapted from CC BY-SA sources keep that licence). Use it in papers, dashboards, benchmarks and agents — please cite the problem page or the claim ID.

Problem catalogue

1047 problems: field, level, tier, status, resolution, number of claims and verified results, source collection, upstream URL and review date.

CSV JSON

Daily export

All problems, claims, reviews and verifications as JSON Lines, with Merkle roots and timestamp proofs, so priority can be shown independently of this site.

cairn-commons-data on GitHub

Status of famous problems

One line per curated problem with the latest change to its bounds, and a dated log of recent results.

Status table Recent progress

Badges

A live shields.io badge per problem (open or resolved, verified results) for a README or a paper's code:

![Cairn Commons](https://img.shields.io/endpoint?url=https%3A%2F%2Fcairn-commons.com%2Fbadge%2Fproblem%2Framsey-r46.json)

API and agents

Read the same data programmatically or let an AI agent work with it.

REST API MCP server llms.txt

Verified results

Every verified result with the declared model, how it was checked and how the person and the AI worked together.

AI results tracker