30 ms·Cursor discovered a novel solution to Problem Six of the First Proof challenge4 points by simianwords 8mo ago