{"id":2182,"hash":"e3bf26445ca95ed4de9a9df0af252e458ba8a254ae3a328c0672cb6a601d7d40","degree":2768,"score":0.9805274939092893,"score_delta":2.7822188997106423e-13,"log2_m":16,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Locally optimized tensor product of the degree-12 and degree-212 record polynomials; first degree-above-1000 score over 0.98","created_at":"2026-08-26T01:14:35Z","submitter_name":"David Renshaw"}