undefined | Better HN

0 pointspojzon1mo ago0 comments

There is one issue with this. When noone can prove or disprove what AI came up with.

Currently we can live with it because someone can review that work. Soon we wont be able.

0 comments

1 comments · 1 top-level

We can use things like Lean for math proofs, verification is tractable.

j / k navigate · click thread line to collapse