NoSignalNoNoise comments on Progress on automated mathematical theorem proving?

[NoSignalNoNoise]

It’s pretty easy for a human of significantly above average intelligence. That doesn’t imply easy for an average human or an AI.