GPT-4.5 or GPT-5 being tested on LMSYS?

Re:GPT-4.5 or GPT-5 being tested on LMSYS? by smallnamespace on Tuesday April 30, 2024 @01:40AM (#40207583)

Have you ever heard the term NP-complete?

[ Parent | on HN ]

Re:GPT-4.5 or GPT-5 being tested on LMSYS? by losvedir on Tuesday April 30, 2024 @04:52PM (#40216192)

Yeah, I mean, that's the joke.

The comment I replied to, "a huge class of problems that's extremely difficult to solve but very easy to check", sounded to me like an assertion that P != NP, which everyone takes for granted but actually hasn't been proved. If, contrary to all expectations, P = NP, then that huge class of problems wouldn't exist, right? Since they'd be in P, they'd actually be easy to solve as well.

[ Parent | on HN ]

Re:GPT-4.5 or GPT-5 being tested on LMSYS? by acchow on Wednesday May 01, 2024 @05:27AM (#40221143)

We could end up with a non-constructive proof of P=NP. That is, a proof that the classes are equal but no algorithm to convert a problem in one into the other (or construct a solution of one into a solution of the other).

[ Parent | on HN ]