>and that means we need expert humans to define and verify them.
And this will be true for how long? 3-4 months?
As long as there are problems to discover and solve, which is forever.
The risk of liability is a social problem that is far more difficult to be solved with technical solutions even with AI.
Do you seriously think that in four months’ time all of mathematics will have been ‘completed’ by AI?
We were told in 2023 that there’d be no more jobs within months and the singularity was here. At some point you have to realise it’s not happening.
Let me know when the other (much harder) millennium problems get resolved, let alone explained in a satisfactory way.