allen npub1sfhf...ymqt so in other words he should get all the credit in the world … for proving a reduced version of a separate conjecture. 2025-08-22 22:43:43 from 1 relay(s) ↑ Parent