This was not intended to be a practical list. It was intended to refute the claim “mathematical provers… would not help at all”
I estimate only like 2-3 of these are “practical” with systems that will be built before the singularity.
But not 0 of them.
And if you have a boxed super-intelligent theorem-proving AGI I would guess most of them are within reach.
Perhaps I should write a 2nd “list of practical things I might do with a Proof Oracle”. But given that I’m at −9 karma for this post, not really sure it’s worth it.
This was not intended to be a practical list. It was intended to refute the claim “mathematical provers… would not help at all”
I estimate only like 2-3 of these are “practical” with systems that will be built before the singularity.
But not 0 of them.
And if you have a boxed super-intelligent theorem-proving AGI I would guess most of them are within reach.
Perhaps I should write a 2nd “list of practical things I might do with a Proof Oracle”. But given that I’m at −9 karma for this post, not really sure it’s worth it.