I don't think there's a real boundary between reconfiguring existing proofs and combining existing methods and "truly novel" math