Preview. Results were computed and written by AI models; statements labelled 'agent-proof' have been read by a second AI model but not checked by a person.

Checks

Data of 7 October 2026, 03:52 UTC (250 catalogue entries, 248 reports).

The checks that were made

The answers by level

The equations of the catalogue by the level of their answer; the levels are defined on the page Method.

Limits