02:02:00 路 Farza Majeed, John Coogan, Jordi Hays, Matthew Prince, Bret Taylor
[02:02:00] S6: out there. [02:02:01] S1: Yeah. You're the GOAT as well. Yeah. Yeah. You know, whenever you put up a 100,000 basis point move in your stock over just a couple years, you're in you're in contention for GOAT, I I say. Always a fantastic time. [02:02:16] S0: Thanks for jumping on. [02:02:17] S13: Good to see you guys. [02:02:18] S1: Nice to [02:02:18] S6: talk to soon. And by the way, [02:02:19] S13: I haven't talked to you since the the [02:02:20] S1: acquisition Thank of the you. I appreciate it. We'll talk to you soon. Have a good one. Let me tell you about console.com. Console automates I builds AI agents that automate 70% of IT, HR and finance support giving employees instant resolution for access requests and password resets. We will be joined by Vinod Khosla And while we [02:02:42] S0: just a few minutes. While we wait, Mad's summer vacation is looking good. Let's see what's on the schedule. [02:02:48] S1: What is on [02:02:49] S0: 6AM, he's waking up on the wrong side of the bed. Okay. 7AM, he's split between judging a book by its cover and beating a dead horse. [02:02:57] S1: Okay. [02:02:57] S0: 8AM, this is where it gets spicy, he's gonna poke the bear. [02:03:00] S1: Gonna poke the bear. [02:03:01] S0: And shortly after that, he's skating on thin ice right into walking on eggshells. Wow. And at 10AM he decides, alright, it's time to address the elephant in the room. Okay. At eleven gets a bit dark, he's gonna cry over spilled milk. Yeah. But at noon he's letting the cat out of the bag. [02:03:17] S2: That's exciting.
02:03:17 路 Bret Taylor, Jordi Hays, John Coogan, Trent Simonian
[02:03:17] S2: That's exciting. [02:03:18] S0: And that's where it really ramps up. He's starting at one to bark up the wrong tree and again, but at the same time holding his horses. [02:03:25] S1: He's double bucked. [02:03:26] S12: But then [02:03:26] S0: at 2PM, he's gonna add fuel to the fire. [02:03:28] S1: That's fantastic. [02:03:28] S0: And I can't really think of a more perfect summer day, John. [02:03:32] S1: You know you know there's a you can share your calendar with someone else and you can share it privately. So you can just see that I'm booked but you don't actually know if I'm having a meeting with someone. Maybe I'm interviewing Vinod Khosla, you won't see that. But you could build a plug in that changes the book to just these things. That would be delightful. The next Google April fools [02:03:51] S0: Super intelligence. [02:03:51] S1: I would that. [02:03:52] S0: Yeah. Somebody just can only see that you're letting the cat out of the bag Yeah. That's that's pretty exciting. [02:03:59] S1: Yeah. [02:03:59] S0: It's kind of mysterious. [02:04:00] S1: Okay. Don't interrupt him. It's an important meeting. He's letting the cat out of the bag. But hey, he's just beating a dead horse. Maybe I should go grab coffee with him, see if he wants to spin out on that. [02:04:10] S0: There's a website. Is big. [02:04:12] S1: Joe Weisenthal. [02:04:13] S0: Turning Joe Weisenthal's tweets into full articles.
02:04:13 路 Jordi Hays, John Coogan, Vinod Khosla
[02:04:13] S0: Turning Joe Weisenthal's tweets into full articles. [02:04:17] S1: This is crazy because there's a there's a live show that turns his tweets into like minutes of just back and forth conversation and banter. But somebody made a version of our show that's just web pages. So they scrape every Joe Wiesenthal tweet and they turn it into a full SEO optimized art This is great. It it is great and Joe looks great in this photo. He's looking good. He's looking quizzical. He's having fun. Well, let's bring in our next guest, Vinod Khosla, the founder and managing director of Khosla Ventures. Vinod, thank you so much for taking the time. How are you doing? [02:04:55] S9: I'm doing great. Great to be here. [02:04:57] S1: Fantastic to have you. I want to kick it off with some of the recent deal making that you've been doing. Your outlook on artificial intelligence is obviously front and center. But what has been the most recent fundraise that you've done? Why did it get you excited? [02:05:14] S9: Well, obviously, there's a lot hits on yesterday or today. We are working a lot and doing a lot of new things That I'm pretty excited about is a company like Pramana. Mhmm. But more importantly, the broad category of order formalization, which isn't talked about much. But humans aren't very good at talking to AI in driving what they precisely want. And that's where auto formalization becomes important, and companies like Fana become very important.
02:05:14 路 Vinod Khosla, John Coogan
[02:05:14] S9: Well, obviously, there's a lot hits on yesterday or today. We are working a lot and doing a lot of new things That I'm pretty excited about is a company like Pramana. Mhmm. But more importantly, the broad category of order formalization, which isn't talked about much. But humans aren't very good at talking to AI in driving what they precisely want. And that's where auto formalization becomes important, and companies like Fana become very important. [02:05:55] S1: How did you get into auto formalization? And I guess the big better question is, as an investor, you have to consider, is auto formalization on the direct path for the other labs? How do you think about competition in this area? Investors are going back and forth, and it's been fascinating to see things that appear to be directly in the path of the big labs. They're still growing revenues 2,000,000,003 billion $4,000,000,000 We're seeing $60,000,000,000 acquisitions. Everything seems to be going well up and down the stack. But why is there a particularly big opportunity right now? [02:06:34] S9: Well, the labs, they will do more and more over time, but I still see the opposite being very broad for venture capital and fund nodes. In terms of nodes are coming up with great ideas. [02:06:52] S1: Mhmm.
02:06:52 路 John Coogan, Vinod Khosla
[02:06:52] S1: Mhmm. [02:06:52] S9: One of example looks at the tag board and says it's not very precise because it's written by humans. You can make it into a machine checkable language. Mhmm. Mathematicians turn all their problems in this specific language. It is hard for humans to understand. Auto formalization allows that kind of formalization so computers can operate on it precisely, not problemistically. And that's a really important thing. Mhmm. If you look at today's world, AI systems have been awesome and the rate of capability development would be awesome. But they have some pretty big gaping holes. They still hallucinate. I don't think hallucination is going away anytime soon. Yeah. So the reliability is low. Humans aren't great at specifying what they want, the specification problem. Mhmm. And then verification of what are you getting the right answers? Or are they hallucinate? Those are all large interesting problems which are open for entrepreneurs. Things can be built in certain domains [02:08:05] S1: Mhmm. [02:08:06] S9: Where you build a lot of value and a lot of capability that the general models don't do.
02:08:06 路 Vinod Khosla, John Coogan
[02:08:06] S9: Where you build a lot of value and a lot of capability that the general models don't do. [02:08:15] S1: How are you thinking about applications of this technology in particular? It's been so hard to predict the original GPT. No one was really expecting a knowledge retrieval service. It just sort of went viral when ChatGPT launched. Coding agents, some people had predicted those, but it was sort of an unexpected emergent capability. Do you expect that auto formalization as the next critical frontier of AI just makes all the existing applications better? Or is it actually going to unlock new applications? [02:08:52] S9: I think it will allow humans to use AI where it wasn't previously possible. Mhmm. If you want to know what your bank account is, you can't have a hallucination. If you have a medical problem, you can't have a hallucination. So auto formalization will significantly enhance existing models in domains like tax law. You know, you can have lots of tax startups, but they can't formalize. [02:09:25] S1: If you [02:09:25] S9: take tax law, it's a very specific thing. And that's an area Pramana is initially to say, can you formalize the tax code so computers can work on it precisely and not be subject to probabilistic answers or likely answers? So it's very, very important in certain domains to have precision, reliability, verification, and that's where auto formalization can significantly enhance the applications and still leverage all the power of LLabs.