“The Tmax project generated data using a novel taxonomy that combines difficulty control, personas, and verifier diversification.”