Have you used AI assistance to find proofs of new results in your papers? Not including writing/literature search etc.