OmniMath Benchmark | Phaseo