# Questions tagged [automated-theorem-proving]

For questions related to the automation of mathematical theorem proving, including rules systems, the acquisition of predicate logic and inference by deep networks, combinations of these, or novel new designs and supporting algorithms.

4 questions

**3**

votes

**1**answer

78 views

### 强化学习已经被用于证明数学ematical theorems?

Coq exists, and there are other similar projects out there. Further, Reinforcement Learning has made splashes in the domain of playing games (a la Deepmind & OpenAI and other less well-known ...

**2**

votes

**1**answer

64 views

### What are the challenges faced by using NLP to convert mathematical texts into formal logic?

From what I've figured (a) converting mathematical theorems and proofs from English to formal logic is a straightforward job for mathematicians with sufficient background, except that it takes time. ...

**1**

vote

**1**answer

55 views

### Can AI come up with scientific theories of past when provided with sufficient data available at that time?

I would love to know if an AI model could come up with certain theories of the old like Pythagoras' theorem, Euclid's formulations, Newton's gravity, Einstein's theories if provided and trained with ...

**24**

votes

**3**answers

4k views

### Can neural networks be used to prove conjectures?

Imagine I have a list (in a computer-readable form) of all problems (or statements) and proofs that math relies on. Could I train a neural network in such a way that, for example, I enter a problem ...