A lot of the comments are claiming that "no one is forcing them to engage with AI proofs" and that's not the case, as explained in the article. The author is forced to engage with the public by the very nature of being a prominent researcher on this problem. The public is drowning him in messages regarding this result. So yes, he is being forced.

Academics have always been required to engage with hacks and cranks to some extent; the deluge of AI proof writing has only exacerbated the problem.

▲

howunfortunate 7 hours ago | parent [-]

That is an incredibly loose use of the word "forced"

▲

runarberg 7 hours ago | parent [-]

I am not a native speaker but in my experience it is an accurate use of the word “forced”.

English speakers generally use this word in a very broad sense “and now Netflix is forcing ads on paying users”, “because there was no sink, I was forced to drink the whole thing”. It is only when you are literally describing a crime where this word has this strict meaning you are alluding to.

▲

wilg 7 hours ago | parent [-]

Those are perfect examples because those are also hyperbolic and unserious uses of the word “forced”.

▲

runarberg 5 hours ago | parent [-]

Merriam Webster seems to agree with me: https://www.merriam-webster.com/dictionary/force#dictionary-...

> forced; forcing

> transitive verb

> 1 :to compel by physical, moral, or intellectual means

> A player was forced out of bounds; They forced the CEO to resign; I forced myself to finish.

	▲	wilg 5 hours ago \| parent [-]
		[flagged]