Comment by kaffekaka

Could very well be true.

For example, will anyone take on the Riemann hypothesis now, knowing that AI might solve it any day. But then, if AI can never solve it, we will have lost out on all the human effort that would have given us great new theories and insights along the way.

All the work that would give rise to new discoveries might now never even get started. That is depressing.