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.

Filter by
Sorted by
Tagged with
1
vote
1answer
48 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 ...
21
votes
4answers
3k views

Can deep networks be trained to prove theorems?

Assume we have a large number of proofs in first order predicate calculus. Assume we also have the axioms, corollaries, and theorems in that area of mathematics in that form too. Consider the each ...