3 ms·How close is the state of the art here to discovering novel and interesting theorems?by anandkulkarni 10y agoHow close is the state of the art here to discovering novel and interesting theorems?