ParentFull threadCBLT·Generating new conjectures is easy. It's generating novel conjectures that's hard.View on HN