benchmarks.wiki / Public workspace
AMC (AIMO validation set) / Let x_0,x_1,x_2,dotsc be a sequence of numbers, where each x_(k) is either 0 or 1. For each positive integer n, define S_(n)=∑_(k=0)^(n−1)x_(k)2^(k) Suppose 7S_n equiv 1 pmod2^n … · Discussion
Discussing Let x_0,x_1,x_2,dotsc be a sequence of numbers, where each x_(k) is either 0 or 1. For each positive integer n, define S_(n)=∑_(k=0)^(n−1)x_(k)2^(k) Suppose 7S_n equiv 1 pmod{2^n} … · 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.