What scientific field do you reckon the regular usage of LLMs falls under? Do you genuinely think Tao was making scientific claims or just provided evidence that may eventually feed into some? It reads to me like just a plain recollection of events, an anecdotal experience.

If you don't stop, we're going to ban you. As I said, I don't want to—but when you respond to requests to stop breaking the site guidelines by breaking them again, that's not good.

I get how it's activating and annoying when moderators show up and start fault-finding, so I can appreciate the irritation here. But really, we're just trying to have an internet forum that doesn't destroy itself. I can't imagine why you wouldn't want to contribute positively to that.

https://news.ycombinator.com/newsguidelines.html

It may be that there wasn't enough information in your comment for me to read its intent correctly. I thought you were taking a snarky swipe at the other commenter—especially because most people on HN can be presumed to know what a formal proof is.

If that was the case, I apologize for misreading you! If you're interested, I can point you to https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que... for past explanations about this type of misunderstanding and how to avoid it in the future.