Really? has anyone ever claimed that ai will never be able to prove theorems and conjectures ?

yes, in fact I recall many people on this exact forum saying that AI will not be able to novel work at all.

i can link you likely dozens of comments from people wrong about this replying to me over the last 5 years