Will Tom Hoge be the first round leader at the 2025 PGA TOUR 3M Open?

This polymarket will resolve according to the player who is the first round leader at the 2025 PGA TOUR 3M Open. In the event of a tie, this market will resolve according to the player ranked highest in the Official World Golf Rankings at the conclusion of the round. If no first round leader is announced by December 31, 2025, this market will resolve to "Other". The primary resolution source will be the official results published by the PGA TOUR website (https://www.pgatour.com). A consensus of credible reporting may also be used.