
"Mathematics is one of the most challenging endeavors of the human mind. Although AI has achieved super-human performance in 2-player games like Chess or Go, the most advanced models are still unable to prove even simple mathematical statements." bit.ly/3zcxO58

English


