[titanomachy]

I consider myself a pretty average human programmer, and I was able to solve the logic puzzle and write a python program for it in ~10 mins. [0]

I agree though, the people who are unable to solve this probably still have a theory of mind. It seems like we're setting a rather high bar.

[0] https://pastebin.com/q33K0HJ1

[kenjackson]

With all due respect, if you wrote a python program for this in 10 minutes you are not an average programmer.

[titanomachy]

Fair enough. Most of my peers could do it, but I guess they're not particularly average either.

[stavros]

Does that count as a program that solves the problem? Your program finds the unique days/months, but you're hardcoding the part where the program discerns who knows what.

Maybe that counts, I don't know, I'm genuinely asking.

[titanomachy]

He only specified that it should be flexible with respect to the specific dates, so I think so. If people knew different things it would be a different problem.

Norvig’s solution is very elegant, and basically establishes an API for declaring who knows what. I learn a lot about readability every time I read one of his programs.

[nuancebydefault]

Let me say this. I am convinced i cannot write a program that solves the puzzle in 10 minutes.

I am convinced though that i can write such program, including some test cases, with the help of an llm like bing copilot in 10 minutes. The global reasoning/steps would be mine, the llm would fill in the details.

I'm also convinced that it will be a matter of time (less than 5 years) before these kind of problems are solved trivially by llms, without prior example in the training set being necessary.

In other words, 'theory of mind' (of type defined by the author of the article) has already emerged from machines.

People are a bit reluctant to believe that, me not so much.