Replying to @annapanart @thsottiaux
but claude is also better at writing prose
Replying to @sterlingcrispin
the issue is that all these problems were formulated by humans and ai just came up with a proofs to them, would be much fairer if ai gave proofs to the novel problems it discovered on its own
