AI Discovery in Combinatorics: From Problems to Solutions and Back