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 C

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 https://practal.com/press/cwgpaal/1 [2] Abstraction Logic Is All You Need. https://doi.org/10.5281/zenodo.14737457 https://doi.org/10.5281/zenodo.14737457