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=3433/2. GP famcert certified rank >= 18. naive-height record for rank 18: h 173.853225 < 190.774340
Alexey Pozdnyakov · 2026-06-24 03:58:36