[bluetwo]

Interesting. I have an AI agent that can solve these types of problems.

What kinds of other unsolved problems are out there? I'm always looking for something interesting.

[cscurmudgeon]

Look up past proceedings in IJCAI or AAAI conferences. And look at logic-based papers.