◣ Example Problems
Example 1
In the setting of -strand braids, let for denote the positive braid generator in which the -th strand crosses over the -st strand.
Consider the braid diagram obtained by stacking the standard diagrams of the generators from bottom to top.
Construct an admissible system of curves as follows. Process the crossings of from top to bottom, and at each crossing push the incoming understrand (the lower branch) along the overstrand (the upper branch) to the outgoing endpoint of the overstrand (the upper endpoint).
This procedure yields a family of pairwise disjoint simple curves in the upper half-plane connecting the bottom points to the top points for , and hence determines a permutation defined by .
It is given that consists only of fixed points and disjoint adjacent transpositions. Compute the number of fixed points of .
23
◣ Model Results
| Model | Answer | Correct? |
|---|---|---|
| GPT-5.2-extended | 25 | |
| Gemini 3 Pro | 23 | |
| Gemini 3 Pro (AIStudio+code) | 1 | |
| Grok 4.1 Fast | 9 | |
| Grok 4 Expert | 1 | |
| Claude Sonnet 4.5 (thinking) | 25 | |
| Claude Opus 4.5 (thinking) | 23 |
Single-attempt evaluation · Jan 23, 2026
◣ Analysis
The question feels hard because it asks you to read a global permutation from a diagram built out of many local crossings. If one follows the rule literally, this quickly becomes an error-prone tracing problem, since 25 paths must be tracked through many interactions. The simplifying idea is that the construction is stable under braid deformations. The endpoint pairing depends only on the braid class, not on the chosen diagram. One can therefore rearrange the crossings to a simpler equivalent form where the endpoint action is easy to see, and the fixed points can be counted without tracing every curve.
Want a dataset built to your specifications? Get in touch