I am also using AI extensively to discuss my research, for example [1]. And also very excited about AITP (artificial intelligence theorem proving) [2].

[1] A Conversation with Graham Priest About Abstraction Logic. https://practal.com/press/cwgpaal/1

[2] Abstraction Logic Is All You Need. https://doi.org/10.5281/zenodo.14737457