[TYPES] AI-generated conference submissions
Théo Winterhalter
theo.winterhalter at inria.fr
Tue Mar 17 12:12:09 EDT 2026
> On 17 Mar 2026, at 09:33, Klaus Ostermann <klaus.ostermann at uni-tuebingen.de> wrote:
>
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> Isn't any attempt to ban the use of AI a rear guard battle that we can only loose in the long term?
>
> Wouldn't it be better to accept the new reality that any kind of serious text will be prepared with the help of AI in the future?
I disagree with this. If anything using LLMs currently makes any text look unserious. It’s ok to have clumsy English sometimes as long as it’s understandable. It has worked for years, and I never heard this problem brought up before there was a solution desperately looking for a problem.
More information about the Types-list
mailing list