bluesky — Siobhán — 16 Sep 2026
It would be helpful and it would accelerate progress, because open questions tend to accrete conditional theorems (this…
#mathematical-research #proof-theory
It would be helpful and it would accelerate progress, because open questions tend to accrete conditional theorems (this is true if Riemann is true, e.g.).
It would certainly spoil some fun, but idk if it would do so more or less than generating a proof does!