[pojzon]

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.

[aspenmartin]

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