Tencent's Hyra Agent Claims Record Results on 29 of 55 Open Mathematics Problems · Polylog