Generated with assistance from OpenAI Codex, based on GPT-5. Method: generalized Mestre/Fermigier quartic-family search, sieving Mestre (u,v) families by Mestre-Nagao score, rescoring survivors, exact-height triaging the best candidates, and certifying top score/height candidates with GP famcert. This hit came from family mestre_u2_vm4, specialization T=826/9. GP famcert certified rank >= 18. conductor record for rank 18: log N 133.457909 < 138.988198 naive-height record for rank 18: h 182.544379 < 190.774340
Alexey Pozdnyakov · 2026-06-24 03:58:15