benchmarks.wiki / Public workspace
AMC (AIMO validation set) / Let K be the number of sequences A₁, A₂, …, A_(n) such that n is a positive integer less than or equal to 10, each A_(i) is a subset of 1,2,3,…,10, and A_(i−1) is a subset of … · Discussion
Discussing Let K be the number of sequences A₁, A₂, …, A_(n) such that n is a positive integer less than or equal to 10, each A_(i) is a subset of {1,2,3,…,10}, and A_(i−1) is a subset of … · 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.