I actually like this presentation. Today the two noisiest voices in AI are the frontier model companies and their partners (Nvidia, Palantir, etc.) and people against it altogether.

The companies and partners need to maximize payout. They go on this track of cost reduction via layoffs and basically saying - “the model can do everything”. They know it’s not the case yet they still flood the airwaves and cause fud among all clueless c-suite executives. Which is the goal to begin with.

The second category goes all out against it. Professors, educators, school districts whose operating processes have not caught up to all the cheating that can happen. Here these folks have a point. I am sympathetic to this. It is hard to change education and it requires careful thought.

I feel this presentation brings out a good middle ground. The tech is useful but it’s not all encompassing. The tech also has other concrete uses. As an example, I have always wanted to explore the intersection of category theory, formal verification and AI guardrails and prompting. Proof writing has been a chore because I have a day job. Maybe the AI can help here.