Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Questions tagged [automated-reasoning]

For questions about Automated Reasoning concepts and research topics. Automated Reasoning is a sub-field of Artificial Intelligence concerned with the development of computer programs which can reason completely, or nearly completely, automatically.

Filter by
Sorted by
Tagged with
2 votes
1 answer
176 views

Is beam search the actual obstacle that prevents GPT-style models from doing sophisticated math reasoning?

This is a rather soft question. Some people believe that GPT-style models can eventually solve very complex math problems if the models are large enough, but I'm skeptical about this. Suppose the GPT ...
Soha's user avatar
  • 21
0 votes
0 answers
203 views

Is ChatGPT a viable strategy for solving the P-NP Problem?

According to ZDNet, it is an open question whether a transformer LLM like ChatGPT can facilitate the determination of a solution to the P-NP Problem. (See Can generative AI solve computer science's ...
J D's user avatar
  • 101
18 votes
1 answer
1k views

Why is automated theorem proving so hard?

The problem of automated theorem proving (ATP) seems to be very similar to playing board games (e.g. chess, go, etc.): it can also be naturally stated as a problem of a decision tree traversal. ...
Ivan Ivanov's user avatar
1 vote
0 answers
256 views

What is the difference between Knowledge Representation and Automated Reasoning?

Knowledge Representation and Automated Reasoning are two AI subfields which seem to have something to do with reasoning. However, I can't find any information online about their relationship. Are ...
olinarr's user avatar
  • 755
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
4 votes
2 answers
151 views

Is there a machine learning system that is able to understand mathematical problems given in a textual description?

Is there a machine learning system that is able to "understand" mathematical problems given in a textual description, such as A big cat needs 4 days to catch all the mice and a small cat ...
georg0221's user avatar
7 votes
1 answer
2k views

Did Turing foresee the required capabilities to pass the Turing test?

In Section 1.1 of Artificial Intelligence: A Modern Approach, it is stated that a computer which passes the Turing Test would need 4 capabilities, and that these 4 capabilities comprise most of the ...
alwaysLearningABC's user avatar