Did AI Just “Solve” Math? (Let’s Take a Closer Look) | AI Reality Check

Cal 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

Speaker names marked ? are inferred from speaking time and the show’s known hosts — they are not voice-verified.

• 0:00Cal Newport?

  Last week, OpenAI published a press release titled "An OpenAI Model Has Disproved a Central Conjecture in Discreet 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 endpoints 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'

• 0:42Cal Newport?

  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.

• 1:04Speaker 01

  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.

• 1:20Cal Newport?

  The mainstream press soon picked up on this story with enthusiasm. Here's the new scientist headline: "Mathematician Stunned by AI's Biggest Breakthrough in Mathematics." People on X predictably went even more wild. Peter Diamidis tweeted the following: "An OpenAI 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."

• 1:48Cal Newport?

  All right, so what's actually going on here? Did AI just reach genius level? Has math as a discipline just been automated?

• 1:58Cal Newport?

  As a theoretical computer scientist myself, who has published a lot of applied mathematics research in my days, and someone who proudly boasts an Erdos number of 3, 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.

• 2:38Cal Newport?

  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, Erdos thought that if you were placing n points into the plane, the maximum number of points that you could get to be a unit distance apart would be upper bounded by n raised to the power of 1 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 0 as n increases asymptotically speaking. So

• 3:21Cal Newport?

  this result, the answer asymptotically is going to approach plane linear as the point set increases. That's a really elegant answer. Erdos was convinced that was right. A lot of other mathematicians just assumed that that was right, because Erdos 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 n increases. I believe the actual bound is something like n plus 1 plus some small fixed constant epsilon

• 4:05Cal Newport?

  that stays fixed as you increase n, as opposed to approaching 0. 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 Eridosh's conjecture with a better conjecture. They didn't prove Eridosh'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 sequence reasoning model as well.

• 4:49Cal Newport?

  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, because it can sort of, as it rambles, right? It's looking at everything it's said so far when it produces the new token. So it can, if you're rambling, you're thinking out loud, you can use all of that thinking in 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 used a 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

• 5:34Cal Newport?

  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 then 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 posted. So the LLM did not post this sort of elegant, you know, five page paper, 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 Eridosh problem they asked it about. Right? So that's what went on. All right.

• 6:17Cal Newport?

  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? Right, there's been some issues before where AI companies have claimed we solved these 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? And 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 Airdos'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

• 7:02Cal Newport?

  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 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, analyst mathematics, right? It's a big deal to show that Airdos 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

• 7:44Cal Newport?

  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 Airdos's open problems. Now, OpenAI released a companion commentary paper that collected comments from eminent 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,

• 8:24Cal Newport?

  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 to step back here, what he was saying is that if, if the LLM had found a way to prove that Ehrlich'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 Ehrlich's."

• 9:08Cal Newport?

  All right. So again, let me translate the mass 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 wasn't solved, there's a counter example to the existing proposed solution, his enthusiasm was dampened. 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 Ehrlich had proposed that he thought matched his answer, and then just, I don't know how to say that, 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 this some, it was non-trivial, but if we applied a standard, sort of like algebraic embedding, I guess would be the right word, to the original solution,

• 9:50Cal Newport?

  "Hey, it turns out this thing has more points with unit distance than Ehrlich 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 oft-repeated belief of Ehrlich that it is true, three,

• 10:32Cal Newport?

  believes that there is mileage in generalizing the original construction to other number fields and is so, and so is 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 of 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. Alright, so he's explaining here.

• 11:15Cal Newport?

  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 Airdash was correct. It was, there was, you had, 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.

• 11:55Cal Newport?

  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 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 LLMs are looking at, they often require either like a systematic search of some type of space, which would be so boring, you wouldn't even want like a new grad student to do this and it would take forever.

• 12:37Cal Newport?

  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.

• 13:22Cal Newport?

  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 computers aided math work. Number one, this was done, at least they claim, just purely with an LLM prompt, right? That 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.

• 14:06Cal Newport?

  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. 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. It's, it's, 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.

• 14:50Cal Newport?

  Right? I, I, I don't think this is the right way to get this type of result. So I think they're, they're using this to try to, it's a new model they're about to release. So just like Anthropic made the 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 OpenAI, 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 OpenAI announcement, Google DeepMind put out their own paper announcing the AlphaPro Nexus, which is a modular architecture system of the type I'm talking

• 15:31Cal Newport?

  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 air-dosh problems, same type of problems this was from, and it solved nine of them. The other ones it 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.

• 16:14Cal Newport?

  This doesn't discount the importance of the problem, I'm just saying, the fact it's a pure LLM is new, but maybe not that important. Okay, the second thing that made this OpenAI 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 combinatorial geometrist, as I know so many of you in my audience are, this was like, 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 disproofs, 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 OpenAI's cap.

• 16:55Cal Newport?

  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, you know, AlphaPro Nexus, which like is a probably a higher power, better application of 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 out, right? So, again, most problems... For whatever reason are unsolvable, you know, a lot of them because they're actually

• 17:38Cal Newport?

  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 OpenAI, they're implying it, but they're not saying this. But I think the 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 us super intelligent performance and all sorts of things I might care about? Is it time to learn like Sarah Connor

• 18:19Cal Newport?

  in Terminator two, 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 air dose open problem peaks, then like it's covering all these other even easier problems that are relevant to our everyday life and therefore we're about to have

• 19:00Cal Newport?

  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 navigable.

• 19:26Cal Newport?

  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?

• 20:11Cal Newport?

  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

• 20:55Cal Newport?

  to say, I'm still trying to figure out where the paperclip in 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 air dose problem is something that AI can now do. If anything, and I pointed this out, Gary Marcus quoted me saying this in a substack

• 21:40Cal Newport?

  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,

• 22:24Cal Newport?

  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 $1 billion 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

• 23:08Cal Newport?

  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 agent 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.

• 23:52Cal Newport?

  But like LLM tools are completely changing how programmers work. Something similar has been afoot 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 DeepMind is producing, it really helps. Now, I haven't done, I haven't published professional applied mathematics research. That was my field. 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.

• 24:37Cal Newport?

  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 gotta 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 and something like

• 25:21Cal Newport?

  that, or I can't apply a union bound here, and there's dependencies, but they're correlated, they're not quite negative correlated, but we could apply like a martingale here to try to keep the dis-correlation, 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 in these papers. I'm searching subspaces within my specialty, I'm just like letting the AI, I'm very carefully

• 26:05Cal Newport?

  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, or find a lot of counterexamples 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 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 program. That's what we were told from the beginning. L M sweet spot. And we're getting these custom tools.

• 26:48Cal Newport?

  Custom tools and programming, which are these like complicated coding harnesses and custom tools and mathematics, which are these modular architect did 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 A G I or narrow A G I. This idea that the only people who believe that we're going to just keep scaling these massive models, these singular L L Ms until they're how 9000 that you can just build lightweight harnesses on top of them to do everything.

• 27:22Cal Newport?

  Are the A I companies that want that to be their moat, but that the future of A I 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 A I. I really like that future of A I. 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 L L M and doing what an L L M says. It's more economically diverse. It's more responsive to customers because you're building bespoke tools for bespoke places. And it gets us away from

• 28:01Cal Newport?

  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 A I's letting on. But the thing that is happening in math is very interesting. And as a mathematician myself,

• 28:23Cal Newport?

  I say it's cool. All right. This brings me to my concluding thoughts, though.

• 28:28Cal Newport?

  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 in 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.

• 29:08Cal Newport?

  Here is my plea, not everything about AI has to be placed in some sort of Manichean 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 gladdy, it's the Colosseum, 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 product seem exciting, they're going to get a better

• 29:53Cal Newport?

  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 we weren't able to solve before, and mathematicians are excited about it, you would lose negative five, you know, 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 Manichean formalism or framework, makes people be like, oh god, I guess I gotta 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.

• 30:38Cal Newport?

  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 evolve. 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 distracted world. Sign

• 31:20Cal Newport?

  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.