Cal Newport

But a mathematician, oh yeah, sure, we'll do this.

We love hard tools.

So you can think about programming and math as like the two major tributaries right now of the Gen AI river that have proven to be very navigable.

And that's where we're therefore putting a lot of our explorers and continuing to try to push progress because if you're an AI company, you want to report progress on something.

But being able to explore that tributary tells you nothing about the other.

So do not think the absolute wrong mental model is anything that is easier to

then solving an Airdoge problem is something that AI can now do.

If anything, and I pointed this out, Gary Marcus quoted me saying this in a sub stack he put out soon after this announcement.

If anything, the fact that with a IPO looming, revenue concerns mounting,

that the use case that OpenAI is crowing about is we are helping mathematicians, professional mathematicians on creating discrete geometry proofs.

If anything, that is a huge vindication for the tributary mental model, right?

There could be few fields less lucrative than professional mathematicians working on proofs.

There is no money spent in that field because it doesn't generate money.

It's incredibly esoteric knowledge for knowledge's sake.

And so if you really want to impress investors and say, we're going to be okay, we're going to make money, you wouldn't be bragging about the least lucrative possible application.

You would be bragging about, look at this application, which is saving companies on average $100 million.

We just generated a billion dollars of revenue.

We just helped these companies cut their operating conditions by half.

This is going to be more important than electricity.

Everyone needs this tool.