3 ms·
Excellent point. But can this be extended to abstract mathematics as well i.e. software reasoning able to gain mathematical insights automatically? That would b
by positron4 11y ago
Excellent point. But can this be extended to abstract mathematics as well i.e. software reasoning able to gain mathematical insights automatically? That would be very interesting indeed.