SpaceX S-1, Anthropic Revenue Booms, OpenAI Cracks Erdős Problem | Diet TBPN

We have a massive show. There's so much tech news. People said the technology industry they were out of news. They weren't. There's plenty of news all over the Wall Street Journal. AI companies are duking it out for prime placement in the journal. SpaceX got top billing in the journal with the IPO filing. SpaceX sets its IPO in motion. The SEC filing starts move to raise tens of billions of dollars in record debut. We've talked about this a lot on the show. Clock is officially ticking on SpaceX's huge stock offering. What are you laughing about? >> Ryan says, "I knew Jord two days in a row." Did I not do two days in a row? >> Nope. >> Haven't done two days in a row in months. >> We can roll the tape. I I mean, after reading the uh that that that piece about us, I feel like some brand differentiation is actually to our benefit since some people can't tell us apart. And so I I I've become a fan of the the the the split in casual Friday, Thursday, >> of just a of a casual look over there, more button down, buttoned up, button left and right over here. >> Something's got to be buttoned up. >> Someone's got to do it. Uh SpaceX on Wednesday revealed new details about how it's it's a about its financials and how chief executive officer Elon Musk will try to grow a sprawling enterprise dedicated to advancing cutting edge technologies in space and back on Earth. The company disclosed the information in an investor perspectus. Publication of the document sets SpaceX on course to potentially raise 80 billion or more from a stock sale as soon as next month. Uh the rumored date is what? Jul June July. Was it June 12th? >> June 12th. That's just 20 days away. Basically, they're going to beat out Saudi Aramco that raised 26 billion when it went public in 2019. Musk has touted out of this world objectives for the company from deploying a huge number of artificial intelligence satellites in the future to colonizing Mars. Texas-based SpaceX has distinct businesses ranging from rocket launch to satellite operations to a nent AI unit uh that is racing to catch up with rivals. Founded by Musk nearly a quarter century ago. Yeah, it has been a long time. SpaceX revolutionized the commercial space industry. The company has grown from a startup with a handful of employees that almost went out of business to one of the world's most valuable private companies with over 22,000 workers as of March 31st. It controls technologies that competitors and even nation states haven't been able to fully match. SpaceX reported its revenue last year at 18.67 billion and Dan Primac had a post saying that uh the business was smaller than he expected. He's going on CNBC today to talk about the IPO has had a couple interesting takes. People are going back and forth. The overall the reception has been the S1 is an extremely enjoyable read. Kevin Quac says it's the most enjoyable S1 read in a long time. reads so easy like sci-fi or fiction. And uh >> that's kind of the perfect it's kind of the perfect post >> or just regular >> because if you're pro tech, you like space, you're excited about space, that could be a positive. Yes. >> But if you're if you're a bear, you can say it reads almost like >> science fiction. Of course, the best ham slide ever. >> Probably the best tam slide ever. Uh Sawyer Merritt has the screenshot here. SpaceX and IPO filing. We believe we have identified the largest actionable total addressable market in human history. We estimate that our quantifiable TAM is $28.5 trillion consisting of 370 billion in space from space enabled solutions, 1.6 trillion in connectivity across 870 billion in Starlink broadband and 740 billion in Starlink mobile as well as additional opportunities in enterprise and government. 26.5 trillion in AI across 2.4 trillion in AI infrastructure, 760 billion in consumer subscriptions, 600 billion in digital advertising. That's massive. >> Well, is that for X? >> I don't know. >> The idea So, so everything else is more believable. Everything else is more believable to me than X getting meaningful digital advertising penetration. Yeah, I guess I guess the time uh the time matters here because uh a lot of these markets aren't this big currently. I think I I don't know. Um but I guess over time, you know, if you think about the next 25 years, the next hundred years, uh I don't know if these are inflation adjusted, but there's lots of things that could happen. Uh for illustrative purposes of sizing our addressable market, SpaceX excluded China and Russia from global estimates. I feel like you might want to put in China and Russia over the next couple decades. Who knows? Maybe we become best buds with both company with both countries. You know, anything can happen. Um, world peace might come and that's going to expand. TAM, that's an economic incentive for world peace. I like to see it. Uh, there were some beautiful photos that were shared in the start of the S1. Lots of pictures to start and then it gets very text dense. But, uh, the photos were I I I liked them. I thought that they were unique. I hadn't seen them like that often. They felt like they were kept in the back pocket for a while. And they I don't know. They just like remind you of SpaceX. It's like a beautiful thing. Dan Primac says, "Incredible that Goldman beat out Morgan Stanley for the SpaceX IPO. Left lead left given that Michael Grimes returned to Morgan Stanley in part for this deal." Of course, Morgan Stanley is on the deal. Uh but that is uh it is a big win for Goldman that uh DJ SpaceX is at the helm. Goldman Sachs and Co. LLC lead left in the joint book running managers, but uh everyone's getting a piece of the SpaceX IPO at this size. Uh, Will Bitsky says, "Shout out to the Goldman analyst that was richly sacrificed to win this lead left IPO. It must have been an incredible amount of work. It's not just the biggest IPO of all time. It's not just this incredibly complex structure with multiple businesses. It's also you're reporting to Elon Musk. Elon Musk is your client and he's going to ask for things probably more aggressively than anyone who's a CEO of a company that's going public." So, lots of winners from the SpaceX IPO. Luke Nosk is a huge one. He was at Founders Fund, co-founded Founders Fund with Peter Teal. His next role will be leading, this is from a long time ago. He left to start Gigafund, which was built at the time as a new investment firm that initially will be focused on raising capital for Elon Musk's SpaceX, a founders fund portfolio company where Nosk is a director. And so, uh, David Quan says, "Today I learned Luke Nosk left FF to start a fund exclusively focused on investing in SpaceX. There are a few of those that we're hearing about these days. Of course, exclusive does not mean 100% of the capital went into SpaceX. It just means that they were very, very focused on that. Gigafund has a lot of different companies in the portfolio cover. We've had a bunch of founders on the show who have raised money from Gigafund. But SpaceX is where Luke is a director, deeply involved, and has focused on participating in many, many rounds. And so, conviction will do that to an MF, says Pocket Jacks Capital. Lots of big winners. Uh Frank asks, "Codeex for SpaceX fair value based on the S1 should be an interesting buildup to the IPO." Uh what was the result from Cap uh from >> said Lancer 1.1 to one and a half? >> It's not bad. >> That's not bad. Bullcase gets to 1.7 to 1.9 if investors assume anthropic sticks. AI infrastructure margins are strong. Starship unlocks major new markets and public market scarcity drives demand. Uh but two trillion means the market is effectively assigning something like 800 billion to one trillion to the AI orbital compute story on top of an already rich Starlink valuation possible as an IPO mania print but that's not what I'd call for fair. Uh so we'll see what happens. I mean uh the big the big news was the partnership with uh with Anthropic where Anthropic is spending over a billion dollars a month. I think it's ramping up >> $15 billion a year and that's huge for SpaceX given that they did 18 and a half or something last year. This is a huge jump up in I mean they have to be one of the biggest Neoclouds like overnight with this. Yeah, I was trying to find >> huge huge uh >> I was trying to find some of our conversations from last year where we were XAI uh and Grock was was growing but maybe not at the rate that uh not close to the rate that uh would require that much infrastructure. >> Yeah. Finding product market fit on the actual distribution side. Obviously we love but it's not the biggest platform. >> Yeah, it wasn't. It's certainly shoot for the stars. Yeah. And uh if you miss, you have a pretty great Neocloud business, right? Anthropic has to pay way above traditional uh Neocloud pricing for this uh compute and so ends up being a great outcome uh for SpaceX. >> Peter Hey says, just reading the SpaceX SEC document, one thing that sticks out is the capital spend on AI is 3x that on space. It's an AI company with some rockets. Uh, which is a wild wild pivot at the LA at the it's the 11th hour. You know, this has been uh a rocket company for for 20 years or 15 years, then an internet company with Starlink, but that was still so tied and so clear and so quick to get to uh like a logical link like you needed the launch capacity to build Starlink. And so you had this new capability satellite internet. It was amazing. and and it went from idea to launching the satellites to consumers actually using it when they're traveling, camping, off the grid, uh real and then showing up in in planes and all sorts of different applications. It became very very relevant, very real very quickly and uh the Colossus XAI that felt like a different company because it was but it has just become so so so big so quickly. >> Yeah. And looking back at the plays Elon and his investors have made around this over the last year, right? There was that felt like somewhat of a coordinated effort beginning of this year or late last year when suddenly everyone started talking about space data centers very suddenly. Remember Gavin Baker Yeah. >> started coming out talking about it. That's around the time when they sort of floated the December of last year uh floating the idea of like what the potential valuation would be. started building that AI narrative, started, you know, made a play for cursor, you know, partnered with anthropic even though, you know, only a few months ago they were much more combative. Yeah. So, yeah, he, you know, I think this is why Elon has been able to accumulate so much capital is like he is pretty much the best in the world at like making just making plays. >> Yeah. Making plays >> and doing whatever it takes. >> Yeah. So the most recent play uh unrelated to the news that made the front page of the Wall Street Journal, anthropic revenue surges set to post first profit sales seen reaching 10.9 billion in second quarter, up 130% over previous quarter. Uh truly in in the title of the uh in the in the actual URL of the Wall Street Journal article, they call it mindblowing growth uh about to propel Anthropic to its first profit. Absolutely uh fantastic execution. So, uh, Tom Brown, co-founder of Anthropic, says, "We're expanding our partnership with SpaceX and will be scaling up GB 200 capacity on Colossus 2 throughout June. Appreciate Elon Musk and the team helping us find good homes for the Claud." Is Claude plural? I thought it was all one Claude and the purpose of Anthropic was to build Claude and Claude will eventually build Claude. But I guess you have multiple instance of the instances of Claude running uh on different servers on different GB200s. Anthropic's Q2 revenue is set to increase by over 200% will post an operating profit. Uh the the uh AI will never be profitable. Uh group is in absolute shambles right now. There there have been a lot of folks who have been just doubting time and time again, will this ever make money? Will this ever make sense? and Dylan Patel sort of laid out on the Doresh Patel show this idea that at a certain point the leading the leading models might actually be able to raise money because they're they're or raise prices because they're driving so much economic value. Something analysis has also put out a a table showing for particular workflows that would take them, you know, a thousand dollars of human time that they would have to hire more people for, they were able to use AI and actually get an equivalent result for a tenth of the cost or a 100th of the cost or even, you know, a 30% savings sometimes. Anyway, >> Algeb says, "Can someone check on Gary February 23rd, 2026?" He said, "Turns out Gen AI was a scam." >> I had to check the date on this because this seems like something he would have written in like 2024. And I would have been like, "Ah, okay. Yeah, maybe the usages are a little limited. Maybe there is some sort of wall here, the data wall, or you know, maybe we won't be able to, you know, maybe we'll need new paradigm, but to write this in 2026 when we're in like the fastest period of acceleration in terms of actual value from these models is uh pretty pretty remarkable. I'm interested to see where he goes from this. Is he gonna double down? Is he gonna stick with this? It has been a couple months since >> I think I think there's I think the the entire crypto boom and NFTTS in particular just broke a lot of people's brains. >> Yeah. And VR metaverse too. >> Metverse is another thing that was met and metverse you know potentially even more. >> Yeah. Yeah. Yeah. There was a lot of discussion about uh this will destroy Hollywood, this will destroy movies like every metaverse. There was never there was never a moment where you could use a product and have a mind-blowing experience. >> Well, without paying for it, like you had to buy. >> No, no. I'm just saying I'm just saying like period. >> No, no, no. The Apple Vision Pro demo like there was a day you called me and you were like, "Why is everyone losing their mind on the timeline over the Apple Vision Pro? Do I need to buy one of these?" And I was like, "Ah, it's kind of like a preview. It's not like perfectly there. I like it, but it's >> I don't even think I was I don't think you're remembering correctly because there was no moment where I wanted to buy one. >> No, no, no, you didn't want to. But you recognized that it was the current thing when uh the Apple Vision Pro launched for like that week when everyone got them delivered and they tried them. There were a lot of people that were >> they had vision proschosis. >> Vision pros. A lot of people had NFD psychosis, all sorts of psychosis. Uh we'll see how the AI psychosis uh develops. It goes both ways. >> Yeah. Uh but >> but anyways comparing it anyone can have a pretty wild experience with AI. >> Yes. >> In you know on on like a ton of different services. Yes. You could never do that with >> So Lisan Algib is uh contrasting Gary Marcus' Substack post with uh what's happened in the AI industry. Enthropic valuation up 173% since the start of the year. Uh posting profits in Q2 according to the Wall Street Journal. uh OpenAI valuation up 67% since the start of the year and OpenAI general purpose model solves longstanding and well-known airdos problem. I believe it's aird do >> air do aird do problem uh without a scaffold and so there was a lot of questions about what do you know how hard is it to solve these problems but fortunately we have Tyler Cosgrove who's going to take us through what actually happened with this solution to this math problem that uh people are uh very excited about Brown said today we are sharing that a general purpose internal openAI model achieved a breakthrough on one of the best known combinatorial geometry problems homes. Uh less than one year ago, Frontier AI models were at IMO gold level performance. I expect this pace of progress to continue. And uh Sidhar Romesh, I don't know if he was joking about this bet, but he says, "I have lost my $30,000 bet that AI would never solve the planer unit dis." But uh um no, but uh a lot of people were surprised and a lot of people were excited about this. So take us through what actually happened. >> Okay. Yeah. So I can basically go through like a simple explanation of what the problem actually is. Okay. So so just for some context uh Paul Erdos kind of this legendary mathematician um throughout the 20th century he basically proposes I I think the number is like a little over 1,200 different uh like little problems. These are the airdos problems. Uh people talk a lot about these as like goals for AI to solve and you've heard like over time there's been kind of like small iterative >> um kind of solutions to a lot of these problems. Yeah. um >> sort of like collaborative a mathematician working alongside AIS or an easy one just getting >> there's like a main uh kind of place where all of the solutions go. So sometimes people will find like AI will like find a different paper that wasn't actually put on the website and then they they're like, "Oh, AI solved it." But it's not true. But this is kind of the first time we've really seen kind of a big step change like this is actually a new solution. This is using like, you know, kind of novel. >> It doesn't exist in papers out there already. >> So So this was um problem number 90. So So I can kind of read >> uh read the question, then I can explain what it means. Um so so it's does every set of n distinct points in the real plane contain at most n to the 1 plus o of 1 over log log n many pairs which are one apart. Okay. So like what does that mean? Basically we have like the real plane right 2D and we have a bunch of points on it. >> Um what is basically how many like pairs of those will be basically one unit apart and what's like the max number like how do we basically organize those points such that we have the max number of them right? Not just a grid. >> No. So, so you would think that, but I can basically explain why. So, so let's kind of like formalize this better. So, we have U of N, right? And this is basically the largest number of unit distance pairs among n points in the plane. >> Okay. So, so basically like we're thinking about like how do we solve this naively? It's like okay, what if we just take all the points we have n points >> and we just put them in a line. Yep. >> And unit distance apart, right? So, it looks something like this. >> Y >> right. So, for this example, we have four points, but it doesn't matter. It's just n. >> Mhm. Um, so one, two, three, four. How many pairs are there? There's three, right? >> Okay. Yeah. >> So basically this scales with n minus one. Yeah. Right. So you could have a billion points and there's n99 whatever. N minus one. Yeah. >> Okay. So now if we put it in a grid, what happens? Right. So if we have a square grid here, >> okay, >> there's uh nine points here. And then how many how many pairs are there? Uh I believe there's 12. And basically as this number scales up, >> it's still linear. >> So it's 2 n. >> Okay. Okay. Basically, if you do a billion points, it's it's two billion pairs. >> Two billion pairs. Okay. >> So then basically >> pair is specifically that line. The line represents. Yes. Because it's one unit distance, right? Because diagonal doesn't count because it's not one. Yeah. It's not a unit distance. So So then um okay, what's the next thing we can do? Um the next kind of configuration is is what's called the the lattice construction. Okay. Um, and so if we can pull up a picture of it, it's this kind of crazy looking grid that has all these uh super like intricate lines in between. You can see it on the uh this is from the OpenI blog. >> Um, if we can pull it up here. >> Oh, I think I saw this. >> Uh, so this is what it looks like. >> Okay. >> So, if you can like zoom in on on any of these points, you see that, you know, it it some it looks like a grid, right? But it there's not uh just kind of pairs at the at the edges, right? There's like way more. Okay, >> so this scales at n to the 1 + o 1 / log n, right? This is this is basically the the best um kind of example that we know works. >> Yes, but not a proof. >> We know we can find this, but is this the upper bound we don't know, right? So this is basically the lower bound. >> Okay, >> so so then the the question is like we have the lower bound >> uh which is this is the best one we found. This is the most number of pairs. >> And then we we've theorized that that the high bound upper bound scales with n^ the 4/3. >> Mhm. >> And then so the original conjecture that he thought um that the upper bound is still going to be less than n^ the 1 + o of 1. So this means o of one it's like as it scales as n scales to infinity, right? So o of one basically scale to zero it go to zero as n goes to infinity. Basically, OpenAI figured out that this is not true >> and that there there actually are some there are some ns for which this kind of max number of pairs is greater than the original air conjecture. >> So so for infinitely many n this is not for every single n right. So it's not like five points or whatever but there are infinitely many ns for which this is true. >> Okay >> that that it's greater than n plus n to the one plus some uh constant. Okay, so that was basically the big thing, right? This is like, you know, huge if you're into math, >> decades old problem, right? This is incredible thing. Terrence Tao is like, "Wow, this is incredible." Um, but yeah, that's basically the overview of the problem. But yeah, I think it's very exciting because this is uh not like a math model. This is just an internal model, general like reasoning. >> Um, >> you could say it's like generally intelligent. >> Yes, I I think you could say that. Um, and then I think it's it's interesting because from like public perception, it seems like uh this didn't take like that many tokens. This was not like millions of dollars of inference time. Sure. >> It was like maybe something like uh hundreds to thousands of dollars of inference comput. >> Interesting because we were talking about like Gwen's conjecture about like novel ideas coming from just like brute forcing different connections between things and uh this is more token efficient. Yeah, this is not just taking some solution to a different air problem and just like spamming it on all,200 of the problems and oh, one of them works. This is like kind of a new novel idea. Like maybe this solution is the way that they found this. It's like super complex. You can read the proof. It's like 18 pages long. Wow. I don't really know what it means, but but like there's uh a lot of the mathematicians are saying, okay, this is actually could be useful to a lot of other problems. This is like a new way to do things. So, I think it's it's like very exciting. This is like maybe similar to you know alpha fold moment or something where now this is like a real kind of step change in in math capabilities. >> The the other news uh rumors about OpenAI is being close closing in on the IPO fun filing and uh that pushed out Nvidia's results which is uh normally something I would expect on the front page but there was too much AI news. Nvidia results skyrocket on rise of AI agents. talked a little bit about it yesterday, but the big news is that uh they're doing an $80 billion share back share buyback authorization. Uh and uh Take him Take him was bullish. People were wondering where he would sit on Nvidia. He laid out pretty convincing case. Uh you can go listen to the interview. Uh it aired yesterday on TVPN. Let's click through the timeline, see if there's anything that we missed before we jump off. DJ Couse has an idea here. Found a $10 bill. It took five seconds to pull to pick it up. That's $63 million in annualized ARR. This is the thinking you need to be deploying numbers. >> Uh Messi, the football player, a prime copycat called Moss. >> Moss, >> and it's shutting down >> after 23 months in business. I wonder if that has to do with the logistics of shipping internationally because he is an international icon, but setting up distribution and retail presence across many countries uh very quickly. It's not quite as easy as dropping it on Amazon and and flying off the shelves. Uh a lot of those are sort of one country by country and I wonder if that has a piece of what happened. So this is shutting down fully. Moss Plus. Interesting. Well, Mitchell Baldridge recommends setting up a Vanguard account. Not Fidelity, not Schwab, Vanguard. Smart advice. You might think they do have the lowest fees. If you want to get up to speed on Vanguard, listen to the latest episode of the Acquired FM podcast. Uh, but he says wrong. It's not because they have the lowest fees. It's because their interface is so awful you will never trade. It's made it has made his clients millions. >> Uh, let's close it out with this video. >> What you got? >> Playing katan with a billionaire. >> Yes. Uh, I think I think you'll like >> What is this face? Is this a face filter or a background replacement or both? Something funny is going on here. >> Face filter. >> Okay, face filter. >> My turn. I'm going to put down a data center. >> That's against the rules. >> How else am I supposed to AI generate my Christmas card? >> Not popular. >> I'm not joking. >> Do you like it? >> No. It's blocking all the land. >> Wait a minute. Are you ONE OF THOSE PAID PROTESTERS? >> Next turn, I'm going to use seven water on my data center. >> That's not how that works. That's not a resource. >> How else am I supposed to power it? >> The water stuff is really It's so interesting that no one has moved to energy like natural gas. There are natural gas turbines that >> would be opposed and yet people are focused on >> Stop giving them ideas. >> I know. I'm I'm doing their job for them, I suppose. But it's like I I I don't know how I don't know why the water I think it's just because like water's delicious and electricity is is vague and abstract and you don't think about it like you can visualize a glass of water. It's hard to visualize a battery in the same way. Um but uh yeah the uh what what is it? It's like dozens of LLM queries every day for a full year is equivalent to eating a single almond. Something like that. Uh but Matthew Ball is back at Xbox. Congratulations on the move. He announced it yesterday. We're going to try and get him on the show because he's one of my favorite people, favorite authors. If you haven't read his book or his uh his blog, he has a fantastic mind for future of technology and he uh I could not be op more optimistic about the the future of Xbox with him on the team. Tay Kim says, "This hire is a literal game changer. Matthew Ball knows gaming and what needs to be done. This news makes me the most bullish I've been on Xbox in seven years." And I completely agree. >> And to close it out, the White House is awarding two billion in grants. >> Oh yeah. >> One billion quantum computing to IBM to nine quantum computing companies in taking an equity stake. So they're grants overtaking an equity stake. >> It's an investment. >> It's an investment. >> It's an investment. And you American taxpayer will now own a basket of quantum computing companies. Uh computing is up. >> That's not spaghetti computing. It's regetti computing. Shadow. Spaghetti computing is up 30%. >> That who came up with that? >> That seems like a Trump like uh something he would say. >> I created that. >> You created that. Okay. >> Just now. >> I'm sure I'm not the first person to think of it, but >> And we will see you tomorrow, Friday. >> Goodbye, >> little smoker. Flashbang. >> Have a wonderful evening.