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 ?
alt Hacker News
Really? has anyone ever claimed that ai will never be able to prove theorems and conjectures ?