it is very hard for people to eat crow, as the replies will show
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