benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / On a board the following six vectors are written: (1,0,0), (−1,0,0), (0,1,0), (0,−1,0), (0,0,1), (0,0,−1). Given two vectors v and w on the board, a move consists of erasing v and … · Discussion

Discussing On a board the following six vectors are written: (1,0,0), (−1,0,0), (0,1,0), (0,−1,0), (0,0,1), (0,0,−1). Given two vectors v and w on the board, a move consists of erasing v and … · 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.