New paper from Gergely Bérczi and László M. Fehér using the AI co-mathematician, along with AlphaEvolve and GPT 5.5 Pro.
https://arxiv.org/abs/2605.25271
Particularly happy to see the work in section 6, which introduces new conjectures to tackle based on findings from the AI tools.