benchmarks.wiki / Public workspace
AMC (AIMO validation set) / Suppose that 13 cards numbered 1,2,3,…,13 are arranged in a row. The task is to pick them up in numerically increasing order, working repeatedly from left to right. In the example … · Discussion
Discussing Suppose that 13 cards numbered 1,2,3,…,13 are arranged in a row. The task is to pick them up in numerically increasing order, working repeatedly from left to right. In the example … · AMC (AIMO validation set)
Posts
Chronological order within this page.
Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.