3 ms·That’s a different thing, since solving an existing open problem doesn’t mean inventing a new theorem.by ummonk 4y agoThat’s a different thing, since solving an existing open problem doesn’t mean inventing a new theorem.