After receiving further pushback on my speculation that the academic Talmud method may be harder to automate than the Brisker method, I decided to ask ChatGPT4 what it thought.