Hacker News new | past | comments | ask | show | jobs | submit
gf000 | on: AlphaProof Code
> you might not be able to prove all the properties you care about

And just to add, this is also true of "human" mathematics as well.