Really? has anyone ever claimed that ai will never be able to prove theorems and conjectures ?
replyyes, in fact I recall many people on this exact forum saying that AI will not be able to novel work at all.
replyi can link you likely dozens of comments from people wrong about this replying to me over the last 5 years