benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let …f:N→0,1,…,16 such that f(x+17)=f(x) quad text and quad fleft(x^2right) equiv f(x)^2+15 quad(bmod 17) for all integers x≥1 · Discussion

Discussing Let …f:N→{0,1,…,16} such that f(x+17)=f(x) quad text { and } quad fleft(x^{2}right) equiv f(x)^{2}+15 quad(bmod 17) for all integers x≥1 · 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.