Questions tagged [general-problem-solver]

For questions related to the general problem solver, a computer program created in 1959 by Herbert A. Simon, J. C. Shaw, and Allen Newell.

Filter by
Sorted by
Tagged with
1 vote
1 answer
271 views

Can we combine Alpha-zero with GTP-4 to create a general AI?

Alpha Zero is good at looking into the future to plan it's next move. GTP-4 is good at generating language from previous text. It seems like combining these two systems would create a general ...
zooby's user avatar
  • 2,206
1 vote
1 answer
71 views

When will we have computer programs that can compose mathematical proofs?

When will it be possible to give a computer program a bunch of assumptions and ask it if a certain statement is true or false, giving a proof or a counterexample respectively?
Siddhartha's user avatar