Pity that HN's ability to detect sarcasm is as robust as that of a sentiment analysis model using keyword-matching.

I firmly believe @threethirtytwo’s reply was not produced by an LLM

Are you expecting people who can't detect self-dellusions to be able to detect sarcasm, or are you just being cruel?

> This is a relief, honestly. A prior solution exists now, which means the model didn’t solve anything at all. It just regurgitated it from the internet, which we can retroactively assume contained the solution in spirit, if not in any searchable or known form. Mystery resolved.

Vs

> Interesting that in Terrance Tao's words: "though the new proof is still rather different from the literature proof)"

I suspect this is AI generated, but it’s quite high quality, and doesn’t have any of the telltale signs that most AI generated content does. How did you generate this? It’s great.

Why not plan for a future where a lot of non-trivial tasks are automated instead of living on the edge with all this anxiety?