به Nostr بپیوندید
2026-07-20 12:59:18 UTC
in reply to

Christian Lawson-Perfect on Nostr: thanks. I just hedged my bets in case there was an easily-missed condition in the ...

thanks. I just hedged my bets in case there was an easily-missed condition in the conjecture that meant this counterexample was already ruled out, by definition.

It's happened before...