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

31–40 of 310 posts

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#31

Post by keeda »

sdwr wrote: post #13
qudat wrote: post #11

Earlier quoted context omitted.

My take is that a huge part of human intelligence is pattern matching. We just didn’t understand how much multidimensional geometry influenced our matches

I don't think it's accurate to describe LLMs as pattern matching. Prediction is the mechanism they use to ingest and output information, and they end up with a (relatively) deep model of the world under the hood.

Yes, the world model building is achieved via pattern matching and happens during ingestion and training, but that is also part of the intelligence.

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#32

Post by bparsons »

bpodgursky wrote: post #5
redbluered wrote: post #3

Has anyone verified this? I've "solved" many math problems with LLMs, with LLMs giving full confidence in subtly or significantly incorrect solutions. I'm very curious here. The Open AI memory orders and claims about capacity limits restricting access to better models are interesting too.

Terence Tao gave it the thumbs up. I don't think you're going to do better than that.

It's already been walked back.

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#33

Post by user3939382 »

mikert89 wrote: post #7

I have 15 years of software engineering experience across some top companies. I truly believe that ai will far surpass human beings at coding, and more broadly logic work. We are very close

They can only code to specification which is where even teams of humans get lost. Without much smarter architecture for AI (LLMs as is are a joke) that needle isn’t going to move.

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#34

Post by 523-asf1 »

mikert89 wrote: post #7

I have 15 years of software engineering experience across some top companies. I truly believe that ai will far surpass human beings at coding, and more broadly logic work. We are very close

Gotta make sure that the investors read this message in an Erdos thread.

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#37

Post by threethirtytwo »

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]

Re: Erdos 281 solved with ChatGPT 5.2 Pro

#40

Post by D-Machine »

sdwr wrote: post #13
qudat wrote: post #11

Earlier quoted context omitted.

My take is that a huge part of human intelligence is pattern matching. We just didn’t understand how much multidimensional geometry influenced our matches

I don't think it's accurate to describe LLMs as pattern matching. Prediction is the mechanism they use to ingest and output information, and they end up with a (relatively) deep model of the world under the hood.

"Pattern matching" is not sufficiently specified here for us to say if LLMs do pattern matching or not. E.g. we can say that an LLM predicts the next token because that token (or rather, its embedding) is the best "match" to the previous tokens, which form a path ("pattern") in embedding space. In this sense LLMs are most definitely pattern matching. Under other formulations of the term, they may not be (e.g. when pattern matching refers to abstraction or abstracting to actual logical patterns, rather than strictly semantic patterns).
Post reply on HN