benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Reimu has 2019 coins C₀,C₁,…,C₂₀₁₈, one of which is fake, though they look identical to each other (so each of them is equally likely to be fake). She has a machine that takes any … · Discussion

Discussing Reimu has 2019 coins C₀,C₁,…,C₂₀₁₈, one of which is fake, though they look identical to each other (so each of them is equally likely to be fake). She has a machine that takes any … · 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.