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

Summary

TBPN Podcast Summary
Episode: SpaceX S-1, Anthropic Revenue Booms, OpenAI Cracks Erdős Problem | Diet TBPN
Hosts: John Coogan & Jordi Hays
Date: May 21, 2026
Duration: ~27 min

---

Episode Overview

This episode dives into a packed news cycle on breakthrough tech stories. Highlights include analysis and reactions to SpaceX’s historic S-1 IPO filing, the accelerating revenue and profitability at Anthropic amid a huge SpaceX partnership, and OpenAI’s internal model solving a legendary Erdős math problem. The hosts mix sharp, lighthearted banter with deep dives on business, valuation, product, and technological breakthroughs—offering both context and key takeaways for anyone tracking the frontiers of AI and space.

---

Key Discussion Points & Insights

1. SpaceX S-1: The IPO Heard Round the World

• IPO News Breaks ([00:12])
  • SpaceX filed its S-1 with the SEC, starting the clock for the most anticipated and potentially record-breaking IPO ever.
  • Rumored IPO date: June 12, 2026
  • Potential to beat Saudi Aramco’s $26B record; SpaceX may raise $80B+ ([01:42])
• Reading the S-1: The Sci-Fi Prospectus
  • Quote: “Reception has been the S1 is an extremely enjoyable read. Kevin Kwok says it's the most enjoyable S1 read in a long time. Reads so easy like sci-fi or fiction.” – John ([02:43])
• Insane TAM Calculations ([03:19])
  • SpaceX claims a $28.5 trillion Total Addressable Market (TAM), spanning space, connectivity (e.g., Starlink), and a $26.5T share in AI.
  • Quote: “Probably the best TAM slide ever.” – John ([03:19])
  • Excludes China/Russia; speculative but aspirational TAM slides prompt both admiration and skepticism.
• IPO Mechanics & Industry Dynamics
  • Goldman Sachs is lead left, a coup over Morgan Stanley. Massive effort—the most complex IPO structure ever, with Elon Musk as a demanding client ([04:09])
  • Shoutouts to SpaceX early investors like Luke Nosek (Gigafund/Founders Fund)—played long for this moment ([06:04])

2. AI-Compute Gold Rush: Anthropic and SpaceX’s $15B Deal

• Anthropic’s Game-changing Partnership with SpaceX ([07:51])
  • Anthropic (Claude AI) to spend $15B annually—an astronomical sum—on SpaceX’s cloud/A.I. infrastructure.
  • This single deal puts SpaceX among the largest cloud providers “overnight.”
  • Quote: “They have to be one of the biggest NEO clouds like overnight with this.” – Jordi ([07:54])
• SpaceX: From Rockets to AI Titan ([08:47])
  • The S-1 reveals: SpaceX’s capital spent on AI is “3x that on space.”
  • Quote: “It's an AI company with some rockets, which is a wild, wild pivot at the last… It's the 11th hour.” – John ([08:47])
  • Shows how SpaceX rapidly evolved: from rockets, to Starlink, to now a major AI infrastructure powerhouse.
• Musk & Investors’ Calculated Narrative ([09:48])
  • The hosts note how play after play (AI, space data centers, Anthropic) align for valuation and narrative at IPO time: “This is why Elon has been able to accumulate so much capital.” – Jordi ([10:27])

3. Anthropic’s “Mind-Blowing” Growth and Actual AI Profits

• Profitability Shockwaves ([10:40])
  • Anthropic’s Q2 revenue projected at $10.9B—up 130%—and expects its first operating profit.
  • Quote: “The AI will never be profitable group is in absolute shambles right now.” – John ([11:35])
• Deflating Skeptics
  • Host calls out Gary Marcus’s February 2026 headline: “Turns out Gen AI was a scam.” ([12:31])
  • Quote: “To write this in 2026, when we're in like the fastest period of acceleration in terms of actual value from these models is pretty, pretty remarkable.” – John ([12:41])
• Comparisons to Crypto & VR Bubbles ([13:13])
  • Reflection on how cynicism from crypto, NFTs (“broke a lot of brains”), and overhyped metaverse left some prematurely bearish on AI.

4. OpenAI Solves a Legendary Erdős Problem

• First AI-led Step Change in Math ([15:03])
  • OpenAI’s general-purpose internal model solved a famous, previously unsolved combinatorial geometry problem proposed by Paul Erdős: the “unit distance problem.”
  • Tyler Cosgrove joins to break down the actual math ([16:01])
• Lay Explanation of the Math (see [16:01–21:57] for the full breakdown)
  • Explains the problem, progress, and why the OpenAI model’s solution is historic.
  • “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… novel…” – Tyler ([16:33])
  • Not just brute force; the proof could have broad implications in mathematics.
  • Quote: “This is maybe similar to [the] AlphaFold moment… a real step change in math capabilities.” – John ([21:57])
• Inference Efficiency
  • Quote: “Didn’t take that many tokens… maybe hundreds to thousands of dollars of inference.” – Tyler ([20:52])
• Implications
  • Suggested as a milestone toward genuine general reasoning in AI.

5. Quick Hits and Memorable Moments

• Nvidia’s $80B Share Buyback ([21:57])
  • Huge buyback, bullish sentiment tied to surging demand from AI.
• Prime Copycat ‘Moss’ Shuts Down ([23:03])
  • Messi-endorsed drink brand folds after 23 months. Hosts discuss global product rollout challenges.
• Vanguard Has the Worst UX (and That Keeps You Rich) ([23:44])
  • A tongue-in-cheek but insightful finance tip: Vanguard’s intentionally clunky interface prevents overtrading—“has made his clients millions.”
• Catan Parody: Data Centers and AI ([24:00])
  • Hosts riff about playing “Catan with a billionaire,” joking about building data centers on the board.
  • Quote: “My turn. I'm gonna put down a data center.” – John ([24:17])
  • Jokes about “water” as a resource for data centers, and confusion between “Rigetti” and “spaghetti” computing ([26:23])
• Matthew Ball Joins Xbox ([25:00])
  • Acclaimed tech thinker joins Xbox; both hosts bullish on what this brings.
• US Government Bets Big on Quantum ([26:00])
  • White House awards $2B (with $1B to IBM) in grants and equity stakes for quantum computing.
  • Quote: “You American taxpayer will now own a basket of quantum computing companies.” – John ([26:14])

---

Notable Quotes

• “Reception has been the S1 is an extremely enjoyable read. Kevin Kwok says it's the most enjoyable S1 read in a long time. Reads so easy like sci-fi or fiction.” – John ([02:43])
• “Probably the best TAM slide ever.” – John ([03:19])
• “It's an AI company with some rockets… a wild, wild pivot at the last… It's the 11th hour.” – John ([08:47])
• “They have to be one of the biggest NEO clouds like overnight with this.” – Jordi ([07:54])
• “The AI will never be profitable group is in absolute shambles right now.” – John ([11:35])
• “To write this in 2026, when we're in like the fastest period of acceleration in terms of actual value from these models is pretty, pretty remarkable.” – John ([12:41])
• “This is kind of the first time we've really seen kind of a big step change. Like this is actually a new solution.” – Tyler Cosgrove ([16:33])
• “This is maybe similar to [the] AlphaFold moment… a real step change in math capabilities.” – John ([21:57])
• “My turn. I'm gonna put down a data center.” – John ([24:17])
• “You American taxpayer will now own a basket of quantum computing companies.” – John ([26:14])

---

Timestamps for Key Segments

• SpaceX S-1 & IPO Analysis · [00:12–07:16]
• Anthropic Partnership & SpaceX AI Pivot · [07:17–10:40]
• Anthropic Revenue & AI Skepticism · [10:40–14:39]
• OpenAI Solves Erdős Problem (Deep Dive) · [15:03–21:57]
• Nvidia & Finance Takes · [21:57–23:44]
• Pop Culture: Moss, Catan Parody & Jokes · [23:03–24:43]
• Matthew Ball/Xbox & Quantum Grants · [25:00–26:36]

---

Takeaway

This was a pivotal episode capturing a transformative week in tech: SpaceX taking a moonshot at public markets supported by audacious AI ambitions, Anthropic’s blistering revenue run silencing AI profit skeptics, and OpenAI’s breakthrough in mathematics. The hosts’ blend of deep domain analysis, playful skepticism, and humor keeps this must-listen for anyone following the intersection of AI, space, valuation mania, and where tech is heading next.

Transcript

[A]

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 tech news.

[B]

They lied to you.

[A]

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?

[B]

Ryan says, I knew Jordan. Did I not do two days in a row?

[A]

Nope. Haven't done two days in a row in months. We can roll the tape. I mean, after reading 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've become a fan of the split in casual Friday, Thursday of just a casual look over there. More buttoned down, buttoned up. Buttoned left and right over here.

[B]

Somebody's gotta be buttoned up.

[A]

Someone's gotta do it. SpaceX on Wednesday revealed new details about how it's 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 prospectus. Publication of the document sets SpaceX on course to potentially raise 80 billion or more from a stock sale as soon as next month. The rumored date is what? June?

[B]

July, was it June 12th?

[A]

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 nascent AI unit 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 to one of the world's most valuable private companies. With over 22,000 workers as of March 31, 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 Primack had a post saying that 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. Overall, the reception has been the S1 is an extremely enjoyable read. Kevin Kwok says it's the most enjoyable S1 read in a long time. Reads so easy like sci fi or fiction. And

[B]

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.

[A]

Yes.

[B]

But if you're, if you're a bear, yeah, you can say it reads almost like science fiction. Science fiction, of course, but the best cam slide ever.

[A]

Probably the best TAM slide ever. 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 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.

[B]

Well, is that for X? I don't know the idea. So. So.

[A]

And 20.

[B]

Everything else is more believable Everything else is more believable to me than X getting meaningful digital advertising penetration.

[A]

Yeah, I guess the time matters here because a lot of these markets aren't this big currently, I think. I don't know. But I guess over time, you know, if you think about the next 25 years, the next hundred years, I don't know if these are inflation adjusted, but there's lots of things that could happen. 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 companies. With both countries, you know, anything can happen. World peace might come and that's going to expand tam. That's an economic incentive for world peace. I like to see it. There were some beautiful photos that were shared in the start of the Lots of pictures. Lots of pictures to start. And then it gets very text dense. But the photos were. I liked them. I thought that they were unique. I hadn't seen them like that often and 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's like a beautiful thing. Dan Primack 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, but that is. It is a big win for Goldman that DJ SpaceX is at the helm. Goldman Sachs Co LLC lead left in the joint book writing managers. But everyone's getting a piece of the SpaceX IPO at this size. Will Bitzky 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 Nosek is a huge one. He was at Founders Fund, co founded Founders Fund with Peter Thiel. His next role will be leading. This is from a long time ago. He left to start gigafund, which was billed 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 Nosek is a director. And so David Kwan says, today I learned Luke Nosek 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 PocketJacks Capital. Lots of big winners. Frank asked Codex for SpaceX Fair value based on the S1. Should be an interesting buildup to the IPO. What was the result from Cap from sid Lancer?

[B]

I'm 1.1 to 111 half.

[A]

It's not bad. That's not bad. Bull case gets to 1.7 to 1.9. If investors assume Anthropic sticks infrastructure margins are strong. Starship unlocks major new markets and public market scarcity drives demand. But 2 trillion means the market is effectively assigning something like 800 billion to 1 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. So we'll see what happens. I mean the big news was the partnership with Anthropic where Anthropic is spending over a billion dollars a month.

[B]

I think it's ramping up $15 billion

[A]

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 NEO clouds like overnight with this.

[B]

Yeah, I was trying to find huge, huge. I was trying to find some of our conversations from last year where we were Xai and Grok was growing, but maybe not at the rate that. Not close to the rate that would require that much infrastructure finding product market fit.

[A]

On the actual distribution side, obviously we love Axe, but it's not the biggest platform.

[B]

Yeah, it wasn't it certainly a shoot for the stars.

[A]

Yeah.

[B]

And if you miss, you have a pretty great NEO cloud business. Right. Anthropic has to pay way above traditional NEO cloud pricing for this compute and so ends up being a great outcome for SpaceX.

[A]

Peter Hague 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, which is a wild, wild pivot at the last. It's the 11th hour. This has been a rocket company 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 a logical link, you needed the launch capacity to build Starlink and so you had this new capability, satellite Internet. It was amazing. And it went from idea to launching the satellites to consumers actually using it when they're traveling camping off the grid real and then showing up in planes and all sorts of different applications. It became very, very relevant, very real very quickly. And the Colossus Xai, that felt like a different company because it was. But it has just become so, so, so big so quickly.

[B]

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, late last year when suddenly everyone started talking about space data centers. Very suddenly. Remember Gavin Baker?

[A]

Yeah.

[B]

Started coming out talking about it. That's around the time when they sort of floated the December of last year. 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.

[A]

Yeah. Name calling.

[B]

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.

[A]

Yeah.

[B]

Making place and doing whatever it takes.

[A]

Yeah. So the most recent play, 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. Truly in the title of the, in the, in the actual URL of the Wall Street Journal article, they call it mind blowing growth about to propel Anthropic to its first profit. Absolutely fantastic execution. So Tom Brown, co founder of Anthropic says we're expanding our partnership with SpaceX and we'll be scaling up GB200 capacity on Colossus 2 throughout June. Appreciate Elon Musk and the team helping us find good homes for the clauds. 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 on different servers on different GB2 hundreds. Anthropic's Q2 revenue is set to increase by over 200%. We'll post an operating profit. The AI will never be profitable. Group is in absolute shambles right now. 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 Dwarkesh Patel show this idea that at a certain point the leading models might actually be able to raise money because they're. Or raise prices because they're driving so much economic value. Semianalysis also put out a table showing for particular workflows that would take them $1,000 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 a 30% savings sometimes.

[B]

Lisan Al Ghaib says, can someone check on Gary February 23, 2026? He said, Turns out Gen AI was a scam.

[A]

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, 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 pretty, pretty remarkable. I'm interested to see where he goes from this. Is he going to double down? Is he going to stick with this? It has been a couple months since I heard.

[B]

I think there's, I think the entire crypto boom and NFTs in particular just broke a lot of people's brains.

[A]

Yeah. And VR Metaverse too. Metaverse is another thing that was over

[B]

Metaverse and under delivered Metaverse potentially even more.

[A]

Yeah, there was a lot of discussion about this will destroy Hollywood, this will destroy movies like the Metaverse.

[B]

There was never, there was never a moment where you could use a product and have a mind blowing experience.

[A]

Well, without paying for it. Like you had to buy.

[B]

No, no, I'm just saying, I'm just saying like period.

[A]

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, it's kind of like a preview. It's not like perfectly there. I like it. But it's.

[B]

I don't even think, I don't think you're remembering correctly because there was no moment where I wanted to buy one.

[A]

No, no, no, you didn't want to, but you recognize that it was the current thing. When the Apple Vision Pro launched for like that week when everyone got them delivered and they tried them, there were

[B]

a lot of people, they had Vision Pro psychosis.

[A]

Vision Pro psychosis. A lot of people had NFT psychosis. All sorts of psychosis. We'll see how the AI psychosis develops. It goes both ways.

[B]

Yeah. But anyways, comparing it, anyone can have a pretty wild experience with AI in, you know, on like a ton of different services. Yeah, you could never do that with Metaverse.

[A]

So Lisan Al Gaib is contrasting Gary Marcus's substack post with what's happened in the AI industry. Anthropic valuation up 173% since the start of the year. Posting profits in Q2 according to the Wall Street Journal. OpenAI valuation up 67% since the start of the year. And OpenAI general purpose model solves long standing and well known Erdos problem.

[C]

I believe it's airdosh.

[A]

Airdosh. Airdosh problem without a scaffold. And so there was a lot of questions about 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 people are very excited about. Gnome 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 less than one year ago. Frontier AI models were at IMO gold level performance. I expect this pace of progress to continue. And Sidharth Ramesh, I don't know if he was joking about this bet but he says I have lost my $30,000 bet that I would never solve the planar unit.

[C]

I believe that was a joke.

[A]

That's a joke. I think if you jokes around a lot, but no, but a lot of people were surprised and a lot of people were excited about this. So take us through what actually happened.

[C]

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, Paul Erdos, kind of this legendary mathematician throughout the 20th century, he basically proposes, I think the number is like a little over 1200 different, like little problems. These are the Erdos problems. 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 kind of solutions to a lot of these problems.

[A]

Yeah, sort of like collaborative. A mathematician working alongside AI models or an easy one just getting.

[C]

There's like a main 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're like oh, AI solved it. But it's honestly 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.

[A]

Yeah, it doesn't exist in papers out there already.

[C]

So this was problem number 90. So I can kind of read. Please read the question, then I can explain what it means. So it's does every set of n distinct points in the real plane contain at most point n to the one plus o of one over log log n? Many pairs which are one apart? Okay, so what does that mean? Yeah, basically we have the real plane, right? 2D and we have a bunch of points on it. What is basically how many pairs of those will be basically one unit apart? And what's the max number? How do we basically organize those points such that we have the max number

[A]

of them is a grid?

[C]

No. So you would think that, but I can basically explain why. So let's formalize this better. So we have U of N and this is basically the largest number of unit distance pairs among n points in the plane. Okay, so basically we're thinking about how do we solve this naively. It's like, ok, what if we just take all the points we have n points and we just put them in a line and unit distance apart? Right. So it looks something like this.

[A]

Yeah.

[C]

Right. So for this example we have four points, but it doesn't matter, it's just n. So 1, 2, 3, 4. How many pairs are there? There's three. Right? Okay. Yeah. So basically this scales with n minus one. Right. So you could have a billion points and there's nine, nine, nine, nine, whatever. N minus one.

[A]

Yeah.

[C]

Okay, so now if we put it in a grid, what happens? Right, so if we have a square grid here, there's nine points here, and then how many pairs are there? I believe there's 12. And basically as this number scales up, it's still linear, so it's 2N.

[A]

Okay.

[C]

Basically if you do a billion points, it's 2 billion.

[A]

Two billion pairs. Yeah.

[C]

Okay, so then basically specifically that line.

[A]

The line represents the pair.

[B]

Yes.

[C]

Because it's one unit distance. Right.

[A]

And you don't. Diagonal doesn't count because it's not one.

[C]

Yeah, it's not a unit distance. Got it. So then, okay, what's the next thing we can do? The next kind of configuration is what's called the lattice construction.

[A]

Okay.

[C]

And so if we can pull up a picture of it, it's this kind of crazy looking grid that has all these super intricate lines in between. You can see it on the. This is from the OpenAI blog. If we can pull it up here.

[A]

Oh, I think I saw this.

[C]

So this is what it looks like. So if you can zoom in on any of these points, you see that it looks like a grid. Right. But there's not just kind of pairs at the edges. Right. There's like way more.

[A]

Okay.

[C]

So this scales at N to the one plus O one over log log n. Right. This is basically the best kind of example that we know works.

[A]

Yes, but not a proof.

[C]

We know we can find this, but is this the upper bound? We don't know. So this is basically the lower bound. Okay, so then the question is like we have the lower bound, which is. This is the best one we found. This is the most number of pairs. And then we've theorized that the high bound, upper bound scales with N to the four thirds. And then so Erdos, the original conjecture, that he thought that the upper bound is still going to be less than N to the one plus o of one. So this means O of one. It's like as it scales as n scales to infinity. Right. So o of 1 basically scale to 0, it goes to 0 as n goes to infinity. Basically. OpenAI figured out that this is not true and that there actually are some, there are some N's for which this kind of max number of pairs is greater than the original Erdos conjecture. So for infinitely many. Nice. This is not for every single N. Right. So it's not like five points or whatever, but there are infinitely many N's for which this is true, that it's greater than n plus n to the one plus some constant. Okay, that was basically the big thing. Right. This is like huge, if you're into math. Decades old problem. Right. This is incredible thing. Terrence Tao is like, wow, this is incredible. But yeah, that's basically the overview of the problem. But yeah, it's very exciting because this is not like a math model. This is just internal model, general reasoning.

[B]

You could say it's generally intelligent.

[C]

Yes, I think you could say that. And then I think it's interesting because from public perception it seems like this didn't take that many tokens. This was not like millions of dollars of inference time. It was like maybe something like hundreds to thousands of dollars of inference. Computer.

[A]

It's very interesting because we were talking about Gorn's conjecture about novel ideas coming from just brute forcing different connections between things. And this is more token efficient.

[C]

Yeah, this is not just taking some solution to a different error problem and just like spamming it on all 1200 of the problems and oh, one of them works. This is kind of a new novel idea. Like maybe this solution is the way that they found this. It's super complex. You can read the proof, it's like 18 pages long. I don't really know what it means, but a lot of the mathematicians are saying okay. This actually could be useful to a lot of other problems. This is a new way to do things. Interesting. I think it's very exciting. This is maybe similar to AlphaFold moment or something where now this is a real step change in math capabilities.

[A]

The other news. Rumors about OpenAI is being close. Closing in on the IPO filing. And that pushed out Nvidia's results, which is normally something I would expect on the front page. But there was too much AI news. Nvidia results skyrocket on rise of AI agents. We talked a little bit about it yesterday. But the big news is that they're doing an $80 billion share buyback authorization. And take him. Was bullish. People were wondering where he would sit on Nvidia. He laid out pretty convincing case. You can go listen to the interview. It aired yesterday on tvpn. Let's click through the timeline. See if there's anything that we missed. Before we jump off. DJ Kauss has an idea here. Found a $10 bill. It took five seconds to pick it up. That's $63 million in annualized arrangement. This is the thinking you need to be deploying.

[B]

I didn't know that. Messi the football player. A prime copycat called Moss.

[A]

Moss.

[B]

And it's shutting down after 23 months in business.

[A]

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 very quickly. It's not quite as easy as dropping it on Amazon and flying off the shelves. 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 Baldrige 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. 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 has made his clients millions.

[B]

Let's close it out with this video.

[A]

What you got?

[B]

Playing catan with a billionaire.

[A]

Yes.

[B]

I think you'll like.

[A]

What is this? Face. Is this a face filter or a background replacement? Or both? Something funny is going on here.

[B]

Face filter.

[A]

Okay, Face filter. My turn. I'm gonna put down a data center.

[C]

That's against the rules.

[A]

How else am I supposed to AI generate my Christmas card? Not popular. I'm not joking. Do you like It.

[B]

No, it's blocking all the land.

[A]

Wait a minute. Are you one of those paid protesters? Next turn, I'm gonna use 7 water on my data center.

[B]

That's not how that works. That's not a resource.

[A]

How else am I supposed to. 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.

[C]

And yet people are focused on stop giving them ideas.

[A]

I know I'm doing their job for them, I suppose, but it's like 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 vague and abstract and you don't think about it. You can visualize a glass of water. It's hard to visualize a battery in the same way, but yeah, 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, 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. He's one of my favorite people, favorite authors. If you haven't read his book or his blog, he has a fantastic mind for future of technology. And I could not be more optimistic about the future of Xbox with him on the team. Tae 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.

[B]

And to close it out, the White house is awarding 2 billion in grants.

[A]

Oh yeah.

[B]

1 billion quantum computing to IBM to 9 quantum computing companies in taking an equity stake. So their grants overtaking an equity stake.

[A]

It's an investment.

[B]

It's an investment.

[A]

It's an investment. And you American taxpayer, will now own a basket of quantum computing companies.

[B]

Spaghetti computing is up.

[A]

That's not spaghetti computing. It's rigetti computing.

[B]

Spaghetti computing is up 30%.

[A]

Who came up with that? That seems like a trump, like something he would say.

[B]

I created that.

[A]

You created that.

[B]

Okay. Just now. I'm sure I'm not the first person to think of it, but.

[A]

And we will see you tomorrow Friday. Goodbye, love you.

[B]

Have a wonderful evening.