Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com
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…