Comment by Ar-Curunir

Please, that’s just bullshit. Humans have been at the forefront of intelligent reasoning for millennia. A few dozen results by AI don’t change that.

Indeed, as we speak mathematicians are taking the time and effort to (successfully) digest and explain these results.