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.

2 questions

vote

1 answer

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?

asked Dec 05 '18 at 00:33

Siddhartha

vote

1 answer

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 conversation and problem solving AI. For example, in…

general-problem-solver

asked Jul 14 '22 at 04:34

zooby

2,196
1
11
21