3 ms·

I wonder if someone could make some standardized way to describe/write mathematical proofs - in a very formal language and then train a model that will try to f

by rvba 4y ago

I wonder if someone could make some standardized way to describe/write mathematical proofs - in a very formal language and then train a model that will try to find more proofs for open questions.

theturtletalks 4y ago
What if it solves the P versus NP problem?
- angelbar 4y ago
  We go home to rest.... no more working for us....