Formal or not formal? That is the question in AI for theorem proving. | Xena
So it’s an interesting time for computers-doing-mathematics. A couple of interesting things happened in the last few days, which have inspired me to write about the question more broadly. Fir…| Xena
