I think he's being quite literal in that he believes that they're too aggressive.
In the article he does afterall second the notion that AI will eventually replace a lot of human labour related to mathematics.
In the article he does afterall second the notion that AI will eventually replace a lot of human labour related to mathematics.
The line I quoted is in response to "in two to three years mathematics will be “solved” in the same sense that chess is solved".
Unless my priors are dramatically wrong, anyone who believes that is indeed full of shit.