My professor in formal methods is AI-addicted who asks AI to review my paper (EU)

I'm in the formal method department of the faculty of computer science.

In recent months my advisor in formal methods as well as other professors becomes increasingly addicted to chat bots.

Last year, he almost ditched Google and asked "what's the definition of abelian group" on ChatGPT. Recently he splurged on Claude Code and has been used it to write code, write paper, write slides, review paper, to name but a few.

My advisor bragged that he hadn't written raw code for 3 months even though he was developing a new blackchain system. He also stopped reading raw papers. He mentioned some websites where he can upload papers there and the webiste generates a summary of the papers. He only read the summaries "for productivity," he said.

He demonstrated how to use Claude Code. He wrote a complete requirement specification of a few pages long and let Claude code execute it for hours.

To me this approach seems like the waterfall model of software development. He added, "everyone should play a project manager rather than SDE!"

When I sent my advisor a draft of my research paper, he ran it through Claude code. The chat bot wrote a list of issues and my advisor asked me to fix these issues.

I caught on the spot a factual error in Claude's review. The AI said "Your student's paper lacks a table in the Evaluation section. He can follow Knuth (2017) where a table in the Evlauation section summarizes xxxx." However, Knuth (2017) doesn't have a table there after I downloaded the paper.

"Nevertheless, other points are valid." my advisor shrugged.

Because I'm supposed to follow my advisor's advise, I instructed my Claude code to follow the issue list blindly.