benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Yesterday, n≥4 people sat around a round table. Each participant remembers only who his two neighbours were, but not necessarily which one sat on his left and which one sat on his … · Discussion

Discussing Yesterday, n≥4 people sat around a round table. Each participant remembers only who his two neighbours were, but not necessarily which one sat on his left and which one sat on his … · Omni-MATH

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.