{"id":"arxiv/2609.27922","url":"https://arxiv.org/abs/2609.27922","tags":["math.NA","cs.SC"],"score":0,"title":"Verifier-guided discovery of exact high-order mimetic operators with large language models","domain":"math.NA","source":"arxiv","authors":["J. de Curtò","I. de Zarzà"],"reviews":0,"subject":"math.NA","summary":"Designing a high-order structure-preserving discretization is a constrained mathematical search: conservation, a positive discrete inner product, physical spectral behavior, boundary accuracy, bandwidth, and partial differential equation (PDE) error must hold simultaneously. We test whether large language models (LLMs) can help while remaining non-authoritative. The motivating MOLE implementation of the Corbino-Castillo staggered operators satisfies a general discrete Gauss identity and conserves exactly, yet its order-six and order-eight Dirichlet blocks develop four non-real…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-21","reactions":{}}