benchmarks.wiki / Public workspace

Omni-MATH / O is the center of square ABCD, and M and N are the midpoints of (BC)¯ and (AD)¯, respectively. Points A^prime, B^prime, C^prime, D^prime are chosen on … · Discussion

Discussing O is the center of square ABCD, and M and N are the midpoints of (BC)¯ and (AD)¯, respectively. Points A^{prime}, B^{prime}, C^{prime}, D^{prime} are chosen on … · 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.