v2 Sum Identity Checker

H100 backend path on

Tests whether the difference is 0: v2(sum_{k=1..n} (-1)^floor(k/2) * (2k)! / (2^k * k!)) - v2(n(n-7117590610544)/gcd(n,2)) over a range of n values using the Rust backend.

Start n

End n

Mode

Backend

GPU helper enabled on H100 where applicable

Status: Idle

tested: -

matches: -

mismatches: -

unresolved: -

rate: -

mismatch file: -

mode: -

counterexamples (n,lhs_v2,rhs_v2):

Back to algorithm selector.