25 Can neural networks be used to prove conjectures? 2018-08-04T09:57:21.870

3 Has reinforcement learning been used to prove mathematical theorems? 2020-06-28T02:19:59.697

2 What are the challenges faced by using NLP to convert mathematical texts into formal logic? 2020-04-06T21:39:35.057

1 Can AI come up with scientific theories of past when provided with sufficient data available at that time? 2019-03-09T16:30:14.757

0 Can a computer make a proof by induction? 2020-08-09T03:14:05.647