It genuinely seemed to me that they were looking for empirical reproductions of a formal proof, which is a nonsensical demand and objection given what formal proofs are. My question was spurred on by this and genuine.
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 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.
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.
Please don't respond to a bad comment by breaking the site guidelines yourself. That only makes things worse.
https://news.ycombinator.com/newsguidelines.html
It genuinely seemed to me that they were looking for empirical reproductions of a formal proof, which is a nonsensical demand and objection given what formal proofs are. My question was spurred on by this and genuine.
I now see in the other subthread what they mean.
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.
1 reply →
[flagged]
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
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.
[flagged]