ParentFull threadmpoteat·Unfortunately I found all of the story-like exposition infuriating: they never even say what the new conjectured lower bound is.View on HN