Is the approach analogous to one way hash? But with mathematical statements?

Given that they can’t be proven, so it’s effectively unpredictable and “un-generatable” ?

How is this not security through obscurity?