| Status badge |
The outer ring records the statement’s formalization and review; the centre records progress on its proof or disproof. See the badge legend. |
| Summary |
What is known and what remains unresolved. A proof attempt can still have gaps. |
| Open count |
The number of recorded unresolved obligations, such as missing proof steps or checks. |
| Topic tags |
The subjects and techniques the problem concerns. |
| Model |
The setting in which the claim is made, such as rom (random oracle), qrom (quantum random oracle) or ggm (generic group). |
| Form |
The kind of claim, such as a lower bound, tight bound, impossibility result or assumption. |
| Category |
Distinguishes open research, solved results and test cases. |
| Difficulty |
How far a solution is from existing techniques: routine, adaptation, new-idea or barrier. (ai) identifies an AI assessment. See the difficulty legend. |
| Organisation tags |
Affiliations of authors of cited sources. |