Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Erdos 281 solved with ChatGPT 5.2 Pro

twitter.com

Post reply on HN
Print view View original

91–100 of 310 posts

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#91

Post by eru »

threethirtytwo wrote: post #37
xeeeeeeeeeeenu wrote: post #18

> no prior solutions found. This is no longer true, a prior solution has just been found[1], so the LLM proof has been moved to the Section 2 of Terence Tao's wiki[2]. [1] - https://www.erdosproblems.com/forum/thread/281#post-3325 [2] - https://github.com/teorth/erdosproblems/wiki/AI-contribution...

[flagged]

> 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)"

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#92

Post by eru »

threethirtytwo wrote: post #88
furyofantares wrote: post #79

Earlier quoted context omitted.

The problem is more that it's an LLM-generated comment that's about 20x as long as it needed to be to get the point across.

It's not. Evidence shows otherwise: Despite the "20x" length, many people actually missed the point.

Despite or because?

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#93

Post by eru »

dernett wrote: post #9

This is crazy. It's clear that these models don't have human intelligence, but it's undeniable at this point that they have _some_ form of intelligence.

Well, Alpha Go and Stockfish can beat you at their games. Why shouldn't these models beat us at math proofs?

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#94

Post by 4k93n2 »

AstroBen wrote: post #85
johnfn wrote: post #47

Earlier quoted context omitted.

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.

Their comments are full of "it's not x, it's y" over and over. Short pithy sentences. I'm quite confident it's AI written, maybe with a more detailed prompt than the average I guess this is the end of the human internet

yea, i was suspicious by the second paragraph but was sure once i got to "that’s not engineering, it’s cosplay"

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#96

Post by plaguuuuuu »

4k93n2 wrote: post #94
AstroBen wrote: post #85

Earlier quoted context omitted.

Their comments are full of "it's not x, it's y" over and over. Short pithy sentences. I'm quite confident it's AI written, maybe with a more detailed prompt than the average I guess this is the end of the human internet

yea, i was suspicious by the second paragraph but was sure once i got to "that’s not engineering, it’s cosplay"

I've had that exact phrase pop up from an LLM when I asked it for a more negative code review

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#97

Post by _diyar »

threethirtytwo wrote: post #88
furyofantares wrote: post #79

Earlier quoted context omitted.

The problem is more that it's an LLM-generated comment that's about 20x as long as it needed to be to get the point across.

It's not. Evidence shows otherwise: Despite the "20x" length, many people actually missed the point.

I definitely missed the point because of the length, and only realized after I read replies to your comment.

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#98

Post by AstroBen »

4k93n2 wrote: post #94
AstroBen wrote: post #85

Earlier quoted context omitted.

Their comments are full of "it's not x, it's y" over and over. Short pithy sentences. I'm quite confident it's AI written, maybe with a more detailed prompt than the average I guess this is the end of the human internet

yea, i was suspicious by the second paragraph but was sure once i got to "that’s not engineering, it’s cosplay"

It's also the wording. The weird phrases

"Glorified Google search with worse footnotes" what on earth does that mean?

AI has a distinct feel to it

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#99

Post by catlifeonmars »

magnio wrote: post #50
threethirtytwo wrote: post #37

Earlier quoted context omitted.

[flagged]

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

That’s just the internet. Detecting sarcasm requires a lot of context external to the content of any text. In person some of that is mitigated by intonation, facial expressions, etc. Typically it also requires that the the reader is a native speaker of the language or at least extremely proficient.
Post reply on HN