What do you expect from Avigad, who works on Lean? Tao is herding the sheep into the AI enclosure with a stream of AI-positive guest posts.
There are no concerns about being funded by a small number of rich AI-boosting foundations, no concerns that intuition and radical new thoughts might be impeded by staring into a glowing rectangle all day and only some concerns about job losses.
It is all very well for the directors and the tenured, who apparently hope they can solve a major problem with AI while avoiding hard work.
What do you expect from Avigad, who works on Lean? Tao is herding the sheep into the AI enclosure with a stream of AI-positive guest posts.
There are no concerns about being funded by a small number of rich AI-boosting foundations, no concerns that intuition and radical new thoughts might be impeded by staring into a glowing rectangle all day and only some concerns about job losses.
It is all very well for the directors and the tenured, who apparently hope they can solve a major problem with AI while avoiding hard work.