4 ms·

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 w

by pojzon 5mo ago

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 5mo ago
We can use things like Lean for math proofs, verification is tractable.