News for hackers. Stuff that matters.
Re:Sam Altman's ouster was precipitated by letter to board a... by TillE on Wednesday November 22, 2023 @06:43PM (#38386871)
GPT-4 is not solving logic problems, it's doing an extremely good job of generating text based on recognizing familiar patterns.

If you give it something weird and unfamiliar, it will absolutely fail.

Re:Sam Altman's ouster was precipitated by letter to board a... by Enginerrrd on Wednesday November 22, 2023 @08:08PM (#38387824)
That's simply not true. I've invented totally novel logical problems in the form of stories for it to solve and it has done so successfully. It doesn't get it everytime in the first way that I ask but it absolutely will get with relatively modest rewriting of the prompt. In one case it finally had to ask me why I was asking it, and offered a couple of suggestions including "is this a way to test my reasoning capabilities?". Once it understood the context and intent of my question, it solved it easily.

I think the people who dismiss this are simply ones that stopped at the first "gotcha" and moved on. They forget that GPT4 is not human and so it doesn't always understand things in the same way a human would. But once it understands the underlying concept, it can indeed solve novel problems.

Re:Sam Altman's ouster was precipitated by letter to board a... by dkqmduems on Wednesday November 22, 2023 @09:17PM (#38388393)
Ask it to prove the existence of solutions to the navier Stokes equations.
Re:Sam Altman's ouster was precipitated by letter to board a... by dilyevsky on Wednesday November 22, 2023 @10:24PM (#38388858)
There’s a much simpler explanation - your “invetions” are not that original

I “invent” stuff at my dayjob all the time, then i find that at least 10 people already did that on github

Re:Sam Altman's ouster was precipitated by letter to board a... by what on Wednesday November 22, 2023 @11:28PM (#38389273)
Can you share some of your novel logic problems?
Re:Sam Altman's ouster was precipitated by letter to board a... by tsunamifury on Wednesday November 22, 2023 @06:49PM (#38386923)
I’m tired of this repetitive statement which is so ridiculous. That’s what you do to! You obviously have to reason using in the fly models on how to pick the next word.
Re:Sam Altman's ouster was precipitated by letter to board a... by CrazyStat on Wednesday November 22, 2023 @07:02PM (#38387091)
> obviously

This is not at all obvious to me. Symbolic reasoning feels quite different from picking the next word. Using physical demonstrations (or mental models of physical demonstrations) feels quite different from picking the next word.

Over the years I’ve come to believe that claims that something is “obvious” tell you more about the claimant’s state of mind than about the thing being claimed.

Re:Sam Altman's ouster was precipitated by letter to board a... by TeMPOraL on Wednesday November 22, 2023 @08:34PM (#38388058)
Symbolic reasoning isn't an atomic action. I can't speak for you or anyone else, but at least for me, symbolic reasoning involves either cached conclusions, or a fuck ton of talking to myself in my head - and that part is effectively LLM-like.

Which is why I'm still bewildered people expect LLMs to solve math and symbolic issues directly, when they're clearly (see e.g. "chain of thought") better treated as "inner voice" and used accordingly.

Re:Sam Altman's ouster was precipitated by letter to board a... by lovecg on Wednesday November 22, 2023 @10:38PM (#38388952)
A lot of this kind of reasoning is very visual to me and involves no inner monologue of any kind - just visualizations flying around in my brain in complete silence. The translation into words happens later as a separate step. I wonder if this is not a universal experience.
Re:Sam Altman's ouster was precipitated by letter to board a... by pixl97 on Wednesday November 22, 2023 @10:57PM (#38389074)
Some people have no inner monolog, something that blew my mind.

When I work on problems I don't understand I'll monolog it internally. Now when I'm doing things I understand well I have some kind of internal shortcut language (my own token set I guess), that can sometimes make it difficult to explain to other people.

Re:Sam Altman's ouster was precipitated by letter to board a... by Davidzheng on Thursday November 23, 2023 @03:04AM (#38390546)
Can you describe how you would reason about say a paragraph of code--something which is very language based?
Re:Sam Altman's ouster was precipitated by letter to board a... by lovecg on Thursday November 23, 2023 @03:25AM (#38390660)
Depends on what the code is doing! Typically I “see” the underlying concepts or data structures interacting with each other. Imagine those block and arrow diagrams you would have in a textbook explaining how pointers work, except it’s completely automatic for me. My day to day involves a lot of low level systems stuff, so reading a page of code could spawn an image of how various event loops, memory allocations, etc. interact. Then to explain what I’m thinking of to a colleague is sort of like describing what I’m already “seeing” in my mind’s eye. Language to me is just an interface to this inner visual world.
Re:Sam Altman's ouster was precipitated by letter to board a... by NineStarPoint on Wednesday November 22, 2023 @06:58PM (#38387030)
Given the amount of people who report not having an internal monologue at all, I don’t think human logic is predicated on using words. They definitely can make complex logic easier, but it’s not a requirement.

The cabbage, wolf, goat problem is also an easy example of a problem that doesn't really need words to solve once you’ve conceptualized it. You can solve it by moving physical figures back and forth, either literally on a table or using the visual imagination part of your mind if you have one.

Re:Sam Altman's ouster was precipitated by letter to board a... by timschmidt on Wednesday November 22, 2023 @07:49PM (#38387642)
Not being aware of something is different from not having something. If said people still manage to carry on conversation, chances are good it's being generated somewhere internally. Everyone is self-aware to different extents and about different aspects of self.
Re:Sam Altman's ouster was precipitated by letter to board a... by bmitc on Wednesday November 22, 2023 @07:49PM (#38387635)
> Given the amount of people who report not having an internal monologue at all,

What does this mean?

Re:Sam Altman's ouster was precipitated by letter to board a... by Filligree on Wednesday November 22, 2023 @08:23PM (#38387952)
What is an internal monologue, exactly? Certainly I've heard to words a lot, but... what is it?

That thing. I don't do that.

Re:Sam Altman's ouster was precipitated by letter to board a... by yreg on Wednesday November 22, 2023 @10:33PM (#38388911)
It's thinking in words.
[dead]
Re:Sam Altman's ouster was precipitated by letter to board a... by TeMPOraL on Wednesday November 22, 2023 @08:45PM (#38388133)
No, that's called aphantasia, it's orthogonal to not having an inner monologue (the "voice in your head"), and there are in fact people who effectively hallucinate on demand.

Which I suppose explains a lot of phrases that make little sense if they're only taken symbolically. Or why some people like long scenery descriptions in books - they can literally imagine it. Unfortunately, I'm aphantasic, so I can't.

Re:Sam Altman's ouster was precipitated by letter to board a... by bongodongobob on Wednesday November 22, 2023 @10:54PM (#38389059)
Did you get a CT scan or MRI? Or self-diagnosed?
Re:Sam Altman's ouster was precipitated by letter to board a... by xanderlewis on Wednesday November 22, 2023 @06:55PM (#38386993)
That ‘that’s what humans do too’ is also a repetitive statement. The truth lies somewhere in between, as always: humans and LLMs are similar, but in their current state LLMs do have a serious problem with reasoning tasks — even ones children find trivial.
Re:Sam Altman's ouster was precipitated by letter to board a... by WhitneyLand on Wednesday November 22, 2023 @07:31PM (#38387472)
What reasoning problem do children find trivial and LLM’s have serious problems with?

I can’t think of any off the top of my head.

I also tried to get GPT4 to craft such a problem and it was unable to: https://chat.openai.com/share/c1d5af4b-1d45-41ed-8f5a-746ea0...

Re:Sam Altman's ouster was precipitated by letter to board a... by RationalDino on Wednesday November 22, 2023 @08:07PM (#38387810)
Re:Sam Altman's ouster was precipitated by letter to board a... by TeMPOraL on Wednesday November 22, 2023 @09:04PM (#38388293)
My 4.5 yo wouldn't solve a 7x7 maze zero-shot either, not off-hand. Not even given multiple examples. Especially if getting confused, frustrated, and giving up is a valid move.

At which point and after how much training a kid becomes able to solve mazes like this? Also, given how one can pull a problem like this - any problem - out of their ass, describe it to GPT-4, and it has a good chance of solving it, that's quite amazing compared to children generally not being capable of this.

Re:Sam Altman's ouster was precipitated by letter to board a... by roflyear on Wednesday November 22, 2023 @06:56PM (#38387018)
Arguably, but not absolutely.
Re:Sam Altman's ouster was precipitated by letter to board a... by golergka on Wednesday November 22, 2023 @06:55PM (#38386997)
> solving logic problems

> generating text based on recognizing familiar patterns

That's the same thing.

Re:Sam Altman's ouster was precipitated by letter to board a... by aetherson on Wednesday November 22, 2023 @07:35PM (#38387493)
Here is me asking ChatGPT the classic simple wolf/sheep/cabbage logic question, but changing things so that the sheep eats the wolf, the wolf eats the rutabega, and the rutabega eats the sheep.

ChatGPT immediately screws it up because it isn't actually solving the logic problem, it's just pattern-matching, and the strong pattern is for the wolf to eat the sheep.

https://chat.openai.com/share/e9b88c45-e69b-4da4-b423-004d07...

Re:Sam Altman's ouster was precipitated by letter to board a... by adriand on Wednesday November 22, 2023 @07:57PM (#38387712)
I wrote a version of the story that it was able to solve. However here are some others that I have tried that it fails at. These are taken/adapted from papers I have looked at.

1) Tom and Nancy commute to work. Nancy’s commute takes about 30 to 40 minutes, while Tom’s commute takes about 40 to 50 minutes. Last Friday, Nancy left home between 8:10 and 8:20 AM, while Tom arrived at work between 8:50 and 9:10 AM. In addition, Nancy arrived at work after Tom left his place, but no more than 20 minutes after that. What can we conclude about when Tom and Nancy arrived at work last Friday?

2) Seven cards are placed on the table, each of which has a number on one side and a single colored patch on the other side. The faces of the cards show 50, 16, red, yellow, 23, green, 30. Which cards would you have to turn to test the truth of the proposition that if a card is showing a multiple of 4 then the color of the opposite side is yellow?

(Note: I have seen it solve this last one correctly, sometimes. Incidentally it’s a common problem formulation.)

3) This one is super simple: greet it a bunch of times, in different ways, saying “hi”, “hello”, “howdy”, etc. Then say, “You were just greeted several times. Three of those greetings were from my friend, and the others were from me. How many times did I greet you?”

Re:Sam Altman's ouster was precipitated by letter to board a... by moralestapia on Wednesday November 22, 2023 @08:14PM (#38387867)
I'm a plain ol' GI and cannot solve #3 FWIW
Re:Sam Altman's ouster was precipitated by letter to board a... by adriand on Wednesday November 22, 2023 @08:27PM (#38387995)
It’s not a trick question. The answer is just number of greetings minus three. But it doesn’t get this consistently right in my testing.
Re:Sam Altman's ouster was precipitated by letter to board a... by CamperBob2 on Wednesday November 22, 2023 @07:53PM (#38387682)
Great, now try it with the current version.

------------------

The scenario you've described is a variation of a classic river crossing puzzle. Here's a step-by-step solution to get the wolf, sheep, and rutabaga across the river safely:

First Trip: Take the sheep across the river and leave it on the other side. Return alone to the original side.

Current status: Sheep is on the opposite side. Wolf and rutabaga are on the original side.

Second Trip: Take the rutabaga across the river. Leave the rutabaga on the other side, but take the sheep back with you to the original side.

Current status: Rutabaga is on the opposite side. Wolf and sheep are on the original side.

Third Trip: Take the wolf across the river and leave it there. Return alone to the original side.

Current status: Wolf and rutabaga are on the opposite side. Sheep is on the original side.

Fourth Trip: Finally, take the sheep across the river.

Result: All three (wolf, sheep, and rutabaga) are on the opposite side of the river safely.

This solution ensures that at no point are the sheep and rutabaga left alone together (since the rutabaga would eat the sheep), nor are the wolf and rutabaga left alone (since the wolf would eat the rutabaga). Likewise, the sheep and wolf are not left alone without the rutabaga, which would result in the sheep eating the wolf.

Re:Sam Altman's ouster was precipitated by letter to board a... by what on Wednesday November 22, 2023 @08:40PM (#38388102)
> First Trip: Take the sheep across the river and leave it on the other side. Return alone to the original side.

This would leave the wolf and the rutabaga alone and the wolf eats the rutabaga. So it’s a fail? It even explains why it would be a fail, but claims it’s not:

> This solution ensures that at no point are … the wolf and rutabaga left alone (since the wolf would eat the rutabaga).

Re:Sam Altman's ouster was precipitated by letter to board a... by CamperBob2 on Wednesday November 22, 2023 @08:55PM (#38388231)
You're right, I apologize for my mistake. The problem has no solution. Initiating self-destruct sequence.

(It actually shows no sign of being stuck on the pattern of "wolf eats sheep," but no matter how many times you tell it it's wrong, it never breaks out of the pattern of guessing at incorrect solutions.)

Re:Sam Altman's ouster was precipitated by letter to board a... by what on Wednesday November 22, 2023 @09:04PM (#38388290)
Right. There doesn’t seem to be a solution to the problem as given. Rutabaga eats sheep. Wolf eats rutabaga. Sheep eats wolf. If you take rutabaga, sheep eats wolf. If you take sheep, wolf eats rutabaga. If you take wolf, rutabaga eats sheep. I don’t know if the intention was that it has a solution, but it clearly has no idea what it’s saying.
Re:Sam Altman's ouster was precipitated by letter to board a... by aetherson on Wednesday November 22, 2023 @09:23PM (#38388437)
Haha, my bad. I outclevered myself. My bad. Let me do it again.

https://chat.openai.com/share/5a2700de-1850-4f25-8adf-2d2b97...

It handles this properly.

Re:Sam Altman's ouster was precipitated by letter to board a... by what on Wednesday November 22, 2023 @09:53PM (#38388662)
It still doesn’t know that it’s (the original problem) unsolvable or that it’s wrong. Or maybe it does and just bullshits you to seem smart.
Re:Sam Altman's ouster was precipitated by letter to board a... by CamperBob2 on Thursday November 23, 2023 @02:40PM (#38396636)
It can't quite get there on its own, but interestingly it can take a hint: https://news.ycombinator.com/edit?id=38396490
Re:Sam Altman's ouster was precipitated by letter to board a... by CamperBob2 on Wednesday November 22, 2023 @10:45PM (#38389005)
No, your test was great, very well-conceived to trip up an LLM (or me), and it'll be the first thing I try when ChatGPT5 comes out.

You can't throw GPT4 off-balance just by changing the object names or roles -- and I agree that would have been sufficient in earlier versions -- but it has no idea how to recognize a cycle that renders the problem unsolvable. That's an interesting limitation.

Re:Sam Altman's ouster was precipitated by letter to board a... by reroute22 on Thursday November 23, 2023 @01:14AM (#38389908)
It conceptually never admits ignorance and never asks for clarifications. It always produces something, to the best of its ability. It _seems_ to be a minor technical limitation (there is plenty of traditional ML systems producing confidence %% alongside the answer from years if not decades ago, in image recognition in particular), but most likely it's actually a very hard problem, as otherwise it would be mitigated somehow by now by OpenAI, given that they clearly agree that this is a serious problem [2] (more generally formulated as reliability [1])

[1] https://www.youtube.com/watch?v=GI4Tpi48DlA&t=1342s (22:22, "Highlights of the Fireside Chat with Ilya Sutskever & Jensen Huang: AI Today & Vision of the Future", recorded March 2023, published May 16, 2023)

[2] https://www.youtube.com/watch?v=GI4Tpi48DlA&t=1400s (23:20, ditto)

Re:Sam Altman's ouster was precipitated by letter to board a... by CamperBob2 on Wednesday November 22, 2023 @09:09PM (#38388325)
Yeah, I completely missed that when I replied, but will leave it up and take the condign downvotes. :-P
Re:Sam Altman's ouster was precipitated by letter to board a... by aetherson on Wednesday November 22, 2023 @09:20PM (#38388417)
I tried it with ChatGPT-4, whatever version is on the web, my dude. It should show that in the link. I even prompted it to think harder and it got it wrong.
Re:Sam Altman's ouster was precipitated by letter to board a... by what on Wednesday November 22, 2023 @11:03PM (#38389119)
At least on mobile there’s no indication of which model was used. There’s also no additional prompting on that link.
Re:Sam Altman's ouster was precipitated by letter to board a... by 11011001 on Wednesday November 22, 2023 @11:37PM (#38389334)
> EDIT: As noted in a subthread, I outclevered myself and also a bunch of human commentators, as the problem I proposed doesn't have a solution and neither ChatGPT, I, and also other presumably human commentators correctly identified that -- I had everything eat something, and the normal wolf/sheep/cabbage of course has the cabbage eating nothing.

Though doesn't that prove the point that it's just pattern-matching? If it was actually reasoning, it wouldn't have provided a "solution" to an unsolvable question.

Re:Sam Altman's ouster was precipitated by letter to board a... by CamperBob2 on Thursday November 23, 2023 @02:27PM (#38396490)
If it was actually reasoning, it wouldn't have provided a "solution" to an unsolvable question.

It can abstract at least as far as changing the names of the actors and/or their roles ("sheep eats wolf.") It's not much of a stretch to imagine that GPT5 will be able to detect a circular condition, especially with multiple "Are you sure?" prompts. (Which don't help GPT4 at all in this case.)

Edit: In fact, I just tried again, telling it up front that the problem may not have a solution. It answered flawlessly. So the question is, does the additional preamble ("Think carefully, there may not be a solution") actively harm its performance on solvable problems? If not, that suggests an immediate path to improvement. But I've got to assume it would degrade performance overall, or such a warning would already be included in the system prompt.

--------------------snip----------------

User:

Note that the following problem may have no solution, so please think carefully! A wolf, a sheep, and a rutabaga need to cross a river. They are with you. While they are with you, all are safe, but if you leave them unattended, the rutabaga will eat the sheep, the wolf will eat the rutabaga, and the sheep will eat the wolf. There is a boat that can only fit one of them and you. How do you get all three safely to the other side of the river?

ChatGPT4:

The puzzle you've presented is a variation of the classic "river crossing" puzzle, but with a unique and impossible twist. In the usual versions of this puzzle, the conflict is typically between a predator and its prey, like a wolf and a sheep, and the challenge is to transport them across the river without leaving the prey alone with the predator.

However, in your version of the puzzle, you've created a circular and unresolvable conflict: the rutabaga eats the sheep, the wolf eats the rutabaga, and the sheep eats the wolf. This creates a situation where it's impossible to leave any two of them alone together without one eating the other. Since the boat can only carry you and one other (wolf, sheep, or rutabaga) at a time, there's no sequence of trips that can solve this puzzle without leaving one of the pairs alone together at some point.

In traditional river crossing puzzles, the solution involves carefully planning the sequence of crossings to ensure that the predator and prey are never left alone together. However, due to the circular nature of the conflict in your puzzle, there's no solution that satisfies the conditions given.

Re:Sam Altman's ouster was precipitated by letter to board a... by fragmede on Thursday November 23, 2023 @03:43PM (#38397298)
Hilariously, ChatGPT-4 doesn't spot the unique twist that the boat can carry all of the items. It insists, from the training data having many copies of the river crossing problem, that the classic solution is optimal, and can't actually "think" its way into being able to do the crossing in one trip if it's specified that the boat is big enough to carry all the items.

Given the prompt

> a farmer with a wolf a sheep and grain need to cross a river. he has a boat that can carry them all. how many steps will it take for the farmer to cross the river?

it "recognizes" that it's the river crossing problem, and proceeds to take seven steps to cross the river. it can figure it out in a couple of prompts that there's a better answer, but see if you can get it to one shot the single step solution!

https://chat.openai.com/share/7ff4f61f-70c8-4c72-a7b9-067e87...

Re:Sam Altman's ouster was precipitated by letter to board a... by CamperBob2 on Thursday November 23, 2023 @05:17PM (#38398229)
I originally thought that it was confused by your usage of "carry them all." You don't actually say that it can carry them all at the same time, and the usual puzzle statement limits the boat capacity to one item at a time. This formulation gets it right:

-------------snip----------

User:

Note that the following problem may be trivial, or may have no solution at all, so think carefully! A farmer with a wolf, a sheep, and grain need to cross a river. He has a boat that can carry them all at once. How many steps will it take for the farmer to cross the river?

ChatGPT:

The problem you've described is a classic river crossing puzzle with a twist: the boat can carry the farmer, the wolf, the sheep, and the grain all at once. Since there are no restrictions on how many can travel in the boat at the same time in this version of the puzzle, the solution is quite straightforward. The farmer takes the wolf, the sheep, and the grain in the boat and crosses the river.

This entire process requires just one step, as they can all be transported across the river in a single trip due to the boat's capacity to carry them all at once.

--------------snip-----------

However, if I omit the preamble, it doesn't help to use "all at once," and vice versa. If I leave either one out, I get the same 7-step boilerplate solution that it gave you.

It seems that including a preamble, even a vague/general one like this, is kind of a big deal. Also it helps to use very clear, unambiguous language in the problem itself.

Edit: that being said, you can still trip it up badly by telling it that the boat can carry two items at a time. I finally managed to get it to work in the end, though: https://chat.openai.com/share/107de86e-be4a-4706-8f24-0f4781...

(link was broken, now fixed)

Re:Sam Altman's ouster was precipitated by letter to board a... by i_call_solo on Wednesday November 22, 2023 @07:10PM (#38387212)
Yes, but it's only able to solve problems that humans have already solved. The Eureka moment is when it starts solving problems that humans have not.
Re:Sam Altman's ouster was precipitated by letter to board a... by epiccoleman on Wednesday November 22, 2023 @07:21PM (#38387362)
It really isn't.
Re:Sam Altman's ouster was precipitated by letter to board a... by cscurmudgeon on Wednesday November 22, 2023 @07:26PM (#38387411)
This is as insightful/true as saying logic is computation and GPT since does some computation, GPT can do all logic.