Deep Questions with Cal Newport - Did AI Just “Solve” Math? (Let’s Take a Closer Look) | AI Reality Check
Episode Date: May 28, 2026Cal Newport takes a critical look at recent AI News. Video from today’s episode: youtube.com/calnewportmedia (0:00) Did AI just “solve” math? (2:38) What OpenAI did (6:30) Question #1 - Is... this result that important? (7:34) Question #2 - Does this mean LLMs are now smarter than human mathematicians? (17:50) Question #3 - Does this mean all equally hard challenges will now be conquered by AI? (23:27) Question #4 - What is the future of math? (28:27) Concluding thoughts Links: Buy Cal’s latest book, “Slow Productivity” at www.calnewport.com/slow https://openai.com/index/model-disproves-discrete-geometry-conjecture/ https://www.youtube.com/watch?v=Br4l9YjCyRU https://x.com/PeterDiamandis/status/2058956956077871275 https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf Thanks to Jesse Miller for production and mastering and Nate Mechler for research and newsletter. Learn more about your ad choices. Visit podcastchoices.com/adchoices
Transcript
Discussion (0)
Last week, OpenAI published a press release titled,
An OpenAA. model has disproved a central conjecture in discrete geometry.
They were talking specifically about the planar unit distance problem,
which was first posed by Paul Erdos in 1946.
Now, this is actually a pretty simple problem to state.
It basically says,
what is the maximum number of pairs of points in a set of end points in a flat plane
that can be exactly one unit of distance apart?
Back in the 1940s, Erdos proposed an answer to this question.
He couldn't prove it, but he thought he knew what the answer was.
Last week, OpenAI essentially announced that they had used an LLM to prove that Erdos's proposed answer was, in fact, incorrect.
The OpenAI press release was accompanied by a video that featured dramatic music and a group of researchers writing earnestly on a comically small blackboard as they explained why this was a big deal.
Here, let's play a clip of that video.
This is the first mathematical breakthrough due to an AI.
It's been described as the most well-known problem in combinatorial geometry.
So for a whole subfield of mathematics, it's like maybe the best known problem there is.
The mainstream press soon picked up on this story with enthusiasm.
Here's the new scientist headline.
Mathematicians stunned by AI's biggest breakthrough in mathematics,
People on X predictably went even more wild.
Peter Diamindis tweeted the following.
An open AI model just proved an 80-year-old math conjecture from Paul Erdos, one of the most prolific mathematicians in history.
We're going to solve everything.
All right.
So what's actually going on here?
Did AI just reach genius level?
Has math as a discipline just been automated?
As a theoretical computer scientist myself who has published a lot of applied mathematics research in my days and someone who proudly boasts an Aeros number of three, which you can look up if you don't know what that means, I am for obvious reasons particularly interested in these questions.
Well, it's Thursday, which means it's time for an AI reality check episode of this show, which is the perfect opportunity to seek some answers.
So that's exactly what we're going to do.
As always, I'm Cal Newport, and this is Deep Questions, the show for people seeking depth in a distracted world.
All right, so we need to start by getting more specific about what exactly OpenAI actually did,
and then we can get into the implications of what that means for the rest of us.
All right, so we're looking at this, this unit distance, planar unit distance conjecture.
Erdos was convinced that he had identified the answer to the question.
I don't want to get too mathy here, but just to say it quickly,
Ayrdoche thought that if you were placing in points into the plane,
the maximum number of points that you could get to be a unit distance apart
would be upper bounded by in raised to the power of one plus some constant C
divided by the double log of N.
Now, as you're probably noticing, as you listen to me,
that second term in the sum is going to tend towards zero as in increases,
asymptotically speaking.
So this result, the answer asymptotically is going to approach plane linear
as the point set increases.
That's a really elegant answer.
Airdosh was convinced that was right.
A lot of other mathematicians just assumed that that was right because Aerosia is usually right.
And so people tried for a long time to prove that was indeed the fundamental limit.
Now, what OpenAI did was they released a paper that said, no, that's wrong.
We actually have a counter example.
We have a way of placing points that is going to be, have more points.
We're going to feature more points at unit distance than that limit, even as in increases.
I believe the actual bound is something like N plus 1 plus some small fixed constant
epsilon that stays fixed as you increase in as opposed to approaching zero.
So they had a counter example.
They didn't say, here's the right answer.
Here is what the limit is.
Here's the best.
Here's the most possible point.
So they didn't replace Eridosch's conjecture with a better conjecture.
They didn't prove Eridosch's conjecture, but they provided a counter example construction
that showed the thing he thought was the right answer couldn't possibly be.
right. Now, how did they do this? Well, they used a reasoning LLM. So that's an LLM that has been tuned to
essentially talk out loud, to sort of think out loud and wander with its thoughts. We first saw
the first reasoning models back in 2024 with, you know, O1 and the O models, a deep sequels
a reasoning model as well. Basically, reasoning models are a way of taking an LLM, which are static
and have no memory, and having them approximate something like more dynamic computation with memory,
it can sort of, as it rambles, right, it's looking at everything it said so far when it produces
the new token. So it can, if you're rambling, you have a, you're, you're, you're thinking out loud,
you can use all of that thinking and producing the new token. So it's like you have some memory
and this wandering can be somewhat dynamic. You can get some basic like iterative or looping
type thinking in it, right? So they use the reasoning model. And what they did is, I don't know how
many times they prompted it or on what questions they prompted it, but on one of the times they
prompted it about this particular problem, the model spit out a very long transcript of an answer,
and a team of expert mathematicians poured over this answer, and in this long chain of thought
transcript, they identified in there the core idea that became the counter-example.
So these mathematicians pulled that counter-example idea out of this transcript.
They polished it, they wrote it properly, they elaborated it, and put it into a
short, concise, much more human-readable paper, and that's what OpenAI actually post it.
So the LLM did not post this sort of elegant, you know, five-page paper or what have you.
Human mathematicians did it, but they got the idea for writing this paper out of this really
long chain of thought transcript that this model produced when cogitating about the Erdos problem
they asked it about.
Right?
So that's what went on.
All right.
That's what happened.
Let's now get into the core questions that people have about.
this thing that just happened.
Question number one,
is this result really important?
There's been some issues before where
AI companies have claimed we solve these
important math problems and then other mathematicians came along and said, well,
that's already been solved.
You probably just saw in your training data or that problem is really minor.
Is this the same or is this actually a really important problem?
The answer is yes, it is important.
It is important in the sense that it's a well-known problem
and everyone just assumed that Erdos's proposed answer was correct.
So it really was surprising the mathematicians to learn, oh, he was wrong.
No one had come up with that before.
I don't know how many people are actually trying to prove the counter example,
but no one had come up with that before.
All right.
Also, it's a result that you could publish in a top venue, right?
And they're going to, I assume.
I mean, there's some complexities about how do you cite this and how do you do authorship, right?
But if a human had come up, you know, if they had come up with this exact result,
without the help of an LLM, boom, annals mathematics, right?
It's a big deal to show that Airdosh was wrong.
So it's an important, it is an important result, and it surprised a lot of people.
All right, question number two that a lot of people are asking.
Does this mean LLMs are now smarter than human mathematicians?
The short answer here is no, but I want to provide you a long answer as well.
I want to provide some context about what is and is not actually happening in this particular
example. Now, I want to start here by reading some comments from the mathematician Thomas Bloom,
who is a world's expert on AEDOSHA's Open Problems. Now, OpenAI released a companion commentary
paper that collected comments from imminent mathematicians on this result, and Thomas Bloom was
one of the mathematicians they asked for his comments. So I want to read to you from Thomas Bloom's
comments about this new result published in the commentary paper.
that OpenAI put out.
So Bloom starts by saying,
I mean, I guess this quote, he says a lot of things,
but the quote I'm going to read here starts with Thomas Bloom saying,
if the result of this paper was a proof of the unit distance problem,
that would be truly incredible.
Right?
So just a step back here, what he was saying is that if the LLM had found a way to prove
that Erdos's conjecture was correct,
that's a much harder thing than proving a counter example,
that really would have been incredible.
Right?
He goes on to say, while I was still very surprised to hear of this result, this was dampened slightly when I learned it was a construction of a counter example.
And still further, when I learned that the nature of the construction being, with the benefit of hindsight, a natural, albeit highly non-trivial generalization of the original lattice-based construction of Aidosha.
All right.
So again, let me translate the math speak here.
He's like, okay, when I first heard this problem was solved, I was like, oh, my God, that's incredible.
And then when he learned it, well, it wasn't solved.
there's a counter example to the existing proposed solution.
His enthusiasm was dampen.
And then when he saw that the actual counter example construction wasn't some new original leap of mathematics,
it actually was just taking the original construction that Erdos had proposed that he thought matched his answer.
And then just, I don't know how to say, I'm going to say this wrong, but basically they applied a, the LLM said,
what would happen if we applied a sort of standard?
And they had to generalize the sum.
It was not trivial.
but if we applied a standard sort of like algebraic embedding, I guess would be the right word, to the original solution.
Hey, it turns out, this thing has more points with unit distance than the Erdoge thought, right?
So it was, the answer was kind of in the near field around the right, it was around, it was nearby, just no one had found it before.
All right, so let me go on.
I'm going to read some more from Bloom.
On examining the construction, it becomes more clear how people had missed this before.
It requires the confluence of several different unlikely events
that a good mathematician is one,
spending significant time in thinking about the unit distance conjecture in the first place.
Two, seriously trying to disprove it,
despite the off-repeated belief of Erdos that it is true.
Three,
believes that there is mileage in generalizing the original construction to other number fields
and is so willing to expend significant time in exploring such constructions.
and four sufficiently familiar with the relevant parts of class field theory to recognize that the appropriately phrased question about infinite towers and number fields with appropriate parameters can be solved using existing theory.
The AI met all of these criteria, and its success here echoes previous achievements.
It often produces the most surprising results by persevering down paths that a human may have dismissed is not worth their time to explore,
combining superhuman levels of patience with familiarity with a vast array of technical machinery.
All right.
So he's explaining here a lot of things had to come together to find this answer, which is why no one had before.
It's not that hard of an answer once you see it.
So why had we not found that?
And he went through these reasons.
Like people weren't looking for it.
They thought Erdos was correct.
It was, there was like two concepts that came together and you would have to know both those concepts.
There's some perseverance that was required.
But there's a phrase in here that I want to pick up on because it's going to tell us more.
generally what's happening in mathematics. Bloom said this result has quote echoes, it quote,
echoes previous achievements, end quotes. So what's he talking about here? Well, in recent years,
there's actually been an explosion in using computer-aided math tools and professional mathematicians.
Now, these type of tools have been around for a long time, but what's happened more recently is
we've combined and augmented these tools with LLMs. LLMs plus existing computers.
computer-aided math tools has created an explosion of new results.
It's uncovering a lot of results that tend to have the same sort of characteristics,
mainly that they are too tedious for most humans to fruitfully pursue, right?
It's because the results that these computer-aided tools with LMs are looking at,
they often require either like a systematic search of some type of space,
which would be so boring.
and you wouldn't even want like a new grad student to do this and it would take forever.
Also, these tools can draw on lots of different, like a vast knowledge of many different
existing results and techniques that can be trained on it, many more than most mathematicians
can keep in their head.
So it's willing to like systematically explore answers, mix and match different approaches and see what works.
You can also, a lot of these systems will use a formal proof verifier so it can try a bunch of
stuff and see what works.
So it's been really big for mathematics.
And this, so this result, what Thomas Bloom is saying is this result is not some brand new capability that we didn't know that AI had.
He says it's in the, he's saying it's in the trajectory of those existing type of results we've been doing for the last years.
It's false in that sweet spot where AI enabled math tools really work well.
Now, I want to be fair.
There's two things about OpenAI's result that do separate it from this sort of existing recent explosion in AI.
augmented computer is aided math work.
Number one, this was done, at least they claim, just purely with an LLM prompt, right?
The tools that mathematicians are using tend to be using modular architectures with many different types of models hooked together.
You'll have an LLM.
You'll have a formal proof verifier, usually using a formal verification language like Lean, which LLMs can speak very well.
You'll have some sort of complicated control logic.
You'll have specialized training of the LLMs on very specific types of math techniques that are relevant to the fields you're looking at.
This was not that.
There was no elaborate scaffolding.
It was actually just a prompt to a reasoning machine that just talked for like 150 pages.
And in there, they found an answer.
All right.
So that is different about this result.
I want to give a caveat here, though.
I think that this is really the fact that they're using a pure LLM to do this is more marketing than utility.
Actually, the modular architecture tools are the right.
way to use LLMs plus computers to help with math.
I would assume it's inefficient, expensive, and complicated just to use regular LLMs,
especially as shown by they had to.
God knows how many transcripts they produced and how many problems they looked at and how
much work was required to dig through this long rambling chain of thought, to find an
insight, right?
I don't think this is the right way to get this type of result.
So I think they're using this to try to – it's a new model they're about to release.
So just like Anthropic made to claim that mythos can, they can find bugs that no other model could before, even though it turns out that like actually largely they could.
So that you would be more willing to just use their mythos model in general.
I think this is open AI.
I'd be like, hey, it solved a math problem.
Hopefully companies will now pay to use this model.
I think that's what's going on here.
I want to point out, for example, right after this open AI announcement, Google DeepMind put out their own paper announcing the Alpha Pro Nexicon.
which is a modular architecture system of the type I'm talking about in which you have LLMs tuned on math.
You have proof solvers.
You have really complicated control logic.
You have agents and subagents that are systematically.
The control logic, I believe, if I understand it correctly, is helping to systematically guide the types of prompts to the LLMs and what spaces to explore and then taking the answers and running through the proof solver and giving feedback.
And this is this new, this modular architecture, the cutting edge modular architecture.
They just announced they ran it on 353 open problems.
Open Airdosh problems, same type of problems this was from,
and it solved nine of them.
The other ones I couldn't solve, but solved nine of them.
And it was pretty cheap to run.
These are small models.
These are not 20 trillion parameter general reasoning LLMs.
So that probably is the way to do math.
This doesn't discount the importance of the problem.
I'm just saying the fact that it's a pure LLM is new,
but maybe not that important.
Okay.
The second thing that made this open AI result novel is the fact that it was an important problem.
And that's by far its biggest distinguishing factor, is like people knew this problem.
If you're a commentatorial geometrist, as I know so many of you in my audience are, this was a well-known problem.
And so this is like the first cool problem that was solved.
This technique of using LLMs and computer tools to help find proofs or just proofs, this has been going on for a little while now, but this is the first like major problem that was solved.
So that is another, like a feather to put in open AIs cap.
again, there's another caveat here
as Bloom was kind of emphasizing
this may have been a little bit of
luck in the sense of
this well-known problem
happened to have
a relatively easy counter example
that existed in the type of space
that these type of tools are really good at,
right?
Not that we now can solve
all these type of open problems.
As shown now by the Alpha Proof Nexus,
which is probably a higher power,
better application
this type of thinking, much more automated, much more systematic. And it could only solve nine of the
353 similar style of problems they pointed at. Right? So again, most problems for whatever reason
are unsolvable, you know, a lot of them because they're actually literally unsolvable. And a lot of
them because they're, the types of solutions don't fall into that, that style of solution space
where these tools are well suited. All right. So there are some caveats to that. But that's what's
going on here. All right. Question number three, does this mean all equally hard challenges will now be
conquered by AI. I definitely got that sense on X. Mathematicians aren't saying this.
I don't think Open AI, they're implying it, but they're not saying this. But I think the
feeling we have online is like, well, that's a really hard thing to do. It's a problem.
Humans tried to solve, but couldn't. Does that mean we have the superhuman intelligence
that now can give a super intelligent performance and all sorts of things I might care about?
Is it time to learn like Sarah Connor and Terminator 2 how to cock a shotgun with one arm
and show off our awesome guns, by which I mean biceps.
The answer here is likely no as well.
Remember, in a previous AI reality check episode of this podcast, I said there's two mental
models for thinking about AI capabilities.
The one model is a rising water one.
The capabilities grow, and it's like a water level of capability rising, and you have mountains
that represent problems of different difficulties, and as the water rises, all mountains
of that difficulty are now solvable.
So if the water is high enough to cover the Airdosh open problem peaks,
then it's covering all these other even easier problems that are relevant to our everyday life,
and therefore we're about to have really big disruptive impacts.
That, however, is the wrong way to think about AI development.
I said the better way to think about AI capabilities is like you have like a main river
and you're exploring tributaries into the river.
And some of those, so each of these tributaries is like another type of problem or application.
And some of these tributaries are able to make a lot of progress.
and other ones you almost immediately get stuck and it becomes non-navicable.
And so making progress on one tributary doesn't really tell you anything about whether this other tributary down the river is going to be equally as explorable or not.
That is what I've been arguing is the right model, and I think that helps us better place these math results in context.
And remember, ever since like ChatGPT put generative AI and large language models on people's radar, computer scientists have been saying there are two.
areas in particular in which LLMs are going to be very well suited.
Computer programming and mathematical reasoning.
And this is because those two problems share four elements.
They deal with highly structured language, either computer code or mathematical notation.
They have clear notions of correctness.
Does this program compile and pass the test?
Is this proof true?
Is this math result right?
There's endless data to train on.
The computer programming tuned models, we can tune it on these sort of
endless examples of code online where people ask questions, other people give answers.
Math is even better because you can actually artificially synthetically create data,
example after example of many different math problems and correct proofs and tune it again and
again and again with it.
So it's really good at particular types of mathematical reasoning.
And also in both cases programming and math, you have expert users who are willing to
use hard tools and massage good results out of it.
If you told me I have this great AI tool, it's going to spit out 150 pages, you have to
comb through it and try to piece together maybe in there, there's a useful insight for like my
business problem. The average business person is going to say, I'm still trying to figure out
where the paperclip and Microsoft Word went. But a mathematician, oh yeah, sure, we'll do this.
We love hard tools. All right. 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 than solving an erdose problem is something that AI can now do.
If anything, and I pointed this out, Gary Marcus quoted me saying this in a substack he put out soon after this announcement.
If anything, the fact that with an 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.
That's what you'd want to be announcing, not, oh, there's an interesting algebraic field
in which if you move a standard, otherwise two-dimensional square lattice, you're able to squeeze
something that is super linear in terms of points at unit distance, right?
That's not what you would announce.
If it was true that solving that problem meant that you now had genius level AI, you
would use that to solve all the economically useful things you could do with an automated genius
level artificial intelligent mind. So I think the fact that this is what we're focusing on
just vindicates the idea that just being good at one thing doesn't make you better at other
things or we'd see more economically productive examples. All right. Question number four.
What does this tell us about the future of math? The future of math is exciting. Let me be
really clear about this.
Just like how computer programming now has LLM-based tools deeply embedded in it.
It's just, we haven't really figured out exactly how to use them.
Like, we haven't stabilized that yet.
There's still a lot of nonsense of, like, agents supervising agents who supervise the agent
supervisors.
And we look up at the end of the day and they have a broken hello world code or whatever.
Like, you know, we're still figuring it out.
But like LLM tools are completely changing how programmers work.
Something similar has been afooted in professional mathematics for about the last year or so.
computer-aided tools have always been there and very powerful,
but they're too annoying to work.
But when you add LLMs into the picture,
especially LLMs that are tuned for doing this type of mathematical reasoning,
especially when you're in the very smart type of modular architectures
that Deep Mind is producing, it really helps.
Now, I haven't published professional applied mathematics research.
That was my feel.
I'm a distributed algorithm theorist,
an applied mathematician within distributed algorithms theory.
A few years ago, I stopped doing mathematical.
research to help start up the Center for Digital Ethics at Georgetown and do a lot more of this
public-facing technology criticism. But I'm looking at these tools, I'm like, man, that would
have helped. And if I return to applied math, I'll be using the hell out of those tools.
I think it would make me, just knowing what I know from doing this type of work, 2x more effective
in terms of quality, comprehensiveness and speed with which I produce results.
I don't think people understand how much, like, mathematics is a combination of the
creative insight, plus a lot of tedious work.
learning and applying results, trying different things, working out the details, getting stuck.
Where you often get stuck in mathematics, at least in applied mathematics, is you have the idea.
It's the algebra.
It's often like, I got to bound this, like, some of these random variables.
I need to bound it at this level to show that so I can apply a union bound or something like that.
Or I can't apply union bound here.
And there's dependencies, but they're correlated.
They're not quite negative correlated, but we could apply.
apply like a Martin Gale here to try to keep the discorrelation. And I don't quite remember how
that works. And the best mathematicians, applied mathematicians, just spent more time learning
results and practicing results and reading results. If you could have an AI help you with that,
it really would make a big difference. I'm telling you from experience. If you could have an
AI explore proof spaces for you. It's a fantastic tool. And it's going to be a big part of mathematics.
And I think what's going to happen is in the near future, you're going to have an explosion of people
doing like low-hanging fruit results. Like we're seeing.
of these papers. I'm searching subspaces within my specialty. I'm just like letting the AI. I'm,
you know, very carefully tuning it and giving it the right questions. Like, here's the space we're looking
at, but I'm going to kind of find, refine a lot of results that exist in the field. There's a little
gap here. We can close this gap. We find a lot of counter examples to existing like conjectures.
And a lot of it's not going to be that interesting. And there's going to be a problem of too
many results to be refereed. But I think longer term, medium term, let's say, we're just going
to see the average quality of the high-end math results is going to jump up.
Because I just know, I produced a few interesting results in my time.
I think they could be more interesting with these tools.
So I think the future for mathematics here is exciting.
And it kind of makes sense.
Math and computer programming.
That's what we were told from the beginning.
LLM Sweet Spot.
And we're getting these custom tools,
custom tools in programming,
which are these like complicated coding harnesses,
and custom tools in mathematics,
which are these modular architected sort of proof exploration systems.
and they're making a difference.
And I actually think that's exciting.
It also, by the way, vindicates my vision
of what you could call
either distributed AGI or narrow AGI,
this idea that the only people who believe
that we're going to just keep scaling
these massive models,
these singular LLMs until their HAL-9,000,
that you can just build lightweight harnesses
on top of them to do everything,
are the AI companies that want that to be their moat.
But that the future of AI is going to be bespoke systems
with modular architectures that are tuned to particular problems,
types of problems or domains,
with a lot of input from people in that field
that do really well in those domains.
That is the future of AI.
I really like that future of AI, by the way.
It's like way more resource efficient.
It's incredibly alignable because your modular architectures
to do one thing are very controllable.
It's not just like querying an LLM
and doing what an LLM says.
It's more economically diverse.
It's more responsive to customers
because you're building B-Spoke tools
for bespoke places.
and it gets us away from this pervasive sense of building an alien mind that's out of our control
and God knows what it's going to do.
I'm so tired of that type of dialogue.
So I think that, to me, I think this is exciting.
It's important.
What's happening in math, there's caveats around this particular result that I think makes it less of a massive new thing to open AIs letting on.
But the thing that is happening in math is very interesting.
And as a mathematician myself, I say it's cool.
All right, this brings me to my concluding thoughts, though.
I don't like the way this announcement is being talked about,
and I think it's an indictment about the way we're talking about AI more generally.
This should be narrow and exciting.
Like, hey, new tools and math are really like improving what we're able to solve.
It should be like something that we say,
and most people are like, shut up, nerd, I'm watching the NBA championships,
and that's that.
But instead, you see all this chatter.
This has to be cast as some sort of signal that,
a terribleness is brewing.
That somehow we had to take something as specific and bespoke as math tools and transform it into a source of digital ick.
Here is my plea.
Not everything about AI has to be placed in some sort of manichaean system of the people versus the machines where we have to evaluate every news release versus like, is this in favor of people triumphing or does this evidence that the machines will eventually
take us all out.
This is a ridiculous dichotomy.
It's it's gladi.
It's the Coliseum.
It's people online cheering on
because it gives them meaning in their life.
It's cynical CEOs at these companies
that like the ick and the despair
and the anxiety
of this sort of dichotomy of darkness versus good
because it makes their products seem exciting.
They're going to get a better IPO.
I'm so tired of it.
Can we talk about AI as like a normal
technology that produces, can be used in specific products.
If I told you five years ago, I have a new computer-aided math-solving tool that's really
sweeping through math and is really opening up all sorts of types of problems who weren't
able to solve before and mathematicians are excited about it, you would lose negative five
minutes of sleep about that.
You'd be like, that's kind of cool.
I'm not a nerd.
And you would move on with your life.
And yet that exact same announcement today, because it's placed in this manichy and
formalism or framework makes people be like, oh, God.
God, I guess I got to be doing the Sarah Connor pull-ups in my jail cell so that I'm ready to fight the robots when they attack.
So that's just what I want to say.
I'm exhausted about this discourse.
Can we just treat AI like a normal technology and allow math nerds like me to say, this is a cool tool.
I can't wait to use it.
And that's how we should be thinking about much more of what's happening with AI.
Nothing terrible just happened.
This is only good news.
It's narrower than you think.
you're not a mathematician,
you don't have to care about it.
If you are, you should be excited about it.
Fields evolved.
Math has evolved massively with technology
over the years.
That's just how these things work.
Can we all just chill out?
All right, that's my final plea.
All right, that's all we have for this week.
I'll be back on Monday with an advice episode of this show.
That's where I give advice about how you can join
the fight for depth and extractive world.
Sign up for my newsletter at calnewport.com.
If you want my personal dispatches about what I'm currently thinking about,
in this fight for depth and distracted world.
And most Thursdays I have an AI reality check episode,
so probably next Thursday I'll have another one of these
because God knows there's a lot of claims
that require a little bit of reality to be injected into it.
All right, that's it for today.
Remember to care about AI, but not everything you read about it.
