TY - RPRT TI - Breaking the high-degree barrier in Lehmer's problem with a human-AI discovery loop AU - Yuri Chervonyi AU - Sergei Gukov AU - Thang Luong PY - 2026 UR - https://arxiv.org/abs/2610.30277 ID - 2610.30277 ER -