benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Pyramid EARLY is placed in (x,y,z) coordinates so that E=(10,10,0),A=(10,−10,0),R=(−10,−10,0),L=(−10,10,0), and Y=(0,0,10). Tunnels are drilled through the pyramid in such a way th… · Discussion

Discussing Pyramid EARLY is placed in (x,y,z) coordinates so that E=(10,10,0),A=(10,−10,0),R=(−10,−10,0),L=(−10,10,0), and Y=(0,0,10). Tunnels are drilled through the pyramid in such a way th… · 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.