alt Hacker NewsProving theorems will have lower payoff, but posing new questions (for AI to chew on) will have higher payoff. Math will go from theorem proving to conjecture farming/exploration. In a way this could be even more fun.
Of course AI can also farm conjectures, but they have to develop taste, which might be harder than just proving theorems.
Replies
muldvarp • yesterday at 3:41 PM
> Of course AI can also farm conjectures, but they have to develop taste, which might be harder than just proving theorems.
Do you have any argument why you might think this would be true?
➕ show 1 reply
Yes, as someone who prefers developing the 'correct' structure over 'merely' proving theorems, this is good for me in the short term. However, the writing I fear is on the wall for my medium and long term utility.