benchmarks.wiki / Public workspace

Omni-MATH / Which of the following numbers is closest to 1: rac1110, rac111100, 1.101, rac11111000, 1.011? · Discussion

Discussing Which of the following numbers is closest to 1: rac1110, rac111100, 1.101, rac11111000, 1.011? · 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.