正在加载视频...

视频加载失败

返回首页

“Harmonic is building Mathematical Superintelligence (MSI)” With $295M+ in total funding at a recent $1.45B post-money valuation, Harmonic's mission is to solve math problems that have remained unsolved for centuries, unlocking progress across physics, engineering.. & maybe even time travel? Co-founded by Vlad Tenev (Vlad Tenev) CEO of Robinhood,...

MollySOShea's profile picture

Molly O’Shea

57,394 subscribers

51,281 次观看 • 7 个月前 •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

Tudor Achim (Tudor Achim) is the co-founder and CEO of Harmonic, a startup working to solve one of AI’s hardest problems: mathematical reasoning. In our conversation, we explore: • Why Tudor believes math is the fundamental toolkit to understand the world • How Aristotle works and the applications beyond pure mathematics • The reinforcement learning process that lets Harmonic generate synthetic training data and solve problems humans have never attempted • Why Tudor believes AI could surpass human mathematicians on specific tasks within 2–3 years • Why the future of mathematics looks more like GitHub than academic journals Thank you to the partners who make this possible - Brex: The intelligent finance platform: - Guru_HQ: The AI source of truth for work: - Rippling: Stop wasting time on admin tasks, build your startup faster: Timestamps (00:00) Intro (06:28) The mathematical foundations of music (and why Tudor keeps them separate) (12:52) Defining intelligence (22:55) The two breakthroughs that made mathematical AI possible in 2023 (35:25) An overview of Aristotle: the world’s first always-correct mathematical agent (45:34) Math in AI now and what’s next (56:02) History’s alternating rhythm of thinking and measuring (1:00:18) Final meditations
1:04:43

Tudor Achim (Tudor Achim) is the co-founder and CEO of Harmonic, a startup working to solve one of AI’s hardest problems: mathematical reasoning. In our conversation, we explore: • Why Tudor believes math is the fundamental toolkit to understand the world • How Aristotle works and the applications beyond pure mathematics • The reinforcement learning process that lets Harmonic generate synthetic training data and solve problems humans have never attempted • Why Tudor believes AI could surpass human mathematicians on specific tasks within 2–3 years • Why the future of mathematics looks more like GitHub than academic journals Thank you to the partners who make this possible - Brex: The intelligent finance platform: - Guru_HQ: The AI source of truth for work: - Rippling: Stop wasting time on admin tasks, build your startup faster: Timestamps (00:00) Intro (06:28) The mathematical foundations of music (and why Tudor keeps them separate) (12:52) Defining intelligence (22:55) The two breakthroughs that made mathematical AI possible in 2023 (35:25) An overview of Aristotle: the world’s first always-correct mathematical agent (45:34) Math in AI now and what’s next (56:02) History’s alternating rhythm of thinking and measuring (1:00:18) Final meditations

Mario Gabriele 🦊

17,899 次观看 • 4 个月前

🧠David Friedberg explains the great hope of Artificial Superintelligence: Massive leverage on time to solve thousand-year problems "I don't think that humans are limited in our ability to solve problems." "I think we're limited in terms of time, and what digital intelligence gives us is leverage on time so that we can now tackle ever more complex tasks." "This idea of superintelligence is that it could give us immense leverage in solving that complex problem that we otherwise may be challenged to solve over decades, or hundreds of years, or think about one day solving a problem that would take humans thousands of years to solve." "So if I as a human said, 'I would like to harness fusion power similar to what the sun uses to make energy, and I wanna do that on Earth,' today, we're in, call it year 40 or 50 of a research cycle of humans trying to solve that particularly complex problem." "It's a scientific problem, it's a discovery problem, it's an engineering problem." "Functionally, leveraging to complexity is where this becomes super compelling for humans." "And it's why I think we can and should be highly optimistic about living very long lives, and traveling anywhere we want, and having abundance in food, and having abundance in resources, and having abundance in recouping our time to do the things we want to do instead of the things that we have to do today."
1:04

🧠David Friedberg explains the great hope of Artificial Superintelligence: Massive leverage on time to solve thousand-year problems "I don't think that humans are limited in our ability to solve problems." "I think we're limited in terms of time, and what digital intelligence gives us is leverage on time so that we can now tackle ever more complex tasks." "This idea of superintelligence is that it could give us immense leverage in solving that complex problem that we otherwise may be challenged to solve over decades, or hundreds of years, or think about one day solving a problem that would take humans thousands of years to solve." "So if I as a human said, 'I would like to harness fusion power similar to what the sun uses to make energy, and I wanna do that on Earth,' today, we're in, call it year 40 or 50 of a research cycle of humans trying to solve that particularly complex problem." "It's a scientific problem, it's a discovery problem, it's an engineering problem." "Functionally, leveraging to complexity is where this becomes super compelling for humans." "And it's why I think we can and should be highly optimistic about living very long lives, and traveling anywhere we want, and having abundance in food, and having abundance in resources, and having abundance in recouping our time to do the things we want to do instead of the things that we have to do today."

The All-In Podcast

53,187 次观看 • 1 年前

Gov. Spencer Cox: "I think it's important that we, with eyes wide open, understand what's happening in our country today...It is an attack on all of us. It is an attack on the American experiment. It is an attack on our ideals. This cuts to the very foundation of who we are, who we have been, and who we could be...Political violence is different than any other kind of violence. The very act that Charlie championed of expression, freedom of expression that is defined in our founding documents. Having his life taken in that very act makes it more difficult for people to feel like they can share their ideas, that they can speak freely. We will never be able to solve all the other problems, including the violence problems, if we can't have a clash of ideas safely and securely — especially those ideas with which you disagree."
1:59

Gov. Spencer Cox: "I think it's important that we, with eyes wide open, understand what's happening in our country today...It is an attack on all of us. It is an attack on the American experiment. It is an attack on our ideals. This cuts to the very foundation of who we are, who we have been, and who we could be...Political violence is different than any other kind of violence. The very act that Charlie championed of expression, freedom of expression that is defined in our founding documents. Having his life taken in that very act makes it more difficult for people to feel like they can share their ideas, that they can speak freely. We will never be able to solve all the other problems, including the violence problems, if we can't have a clash of ideas safely and securely — especially those ideas with which you disagree."

The Bulwark

233,061 次观看 • 11 个月前

Axiom Math founder Carina Hong on why math is the path to general superintelligence: “Math is the sandbox for reality. You very quickly see verifiable rewards because in math, there’s an absolute right or wrong.” “And especially when you have Lean, you can check the proof or solution step by step. You’ll be able to apply reinforcement learning in a much more efficient way.” “We have currently scaled from winning a Putnam perfect score to solving a batch of research problems that professional mathematicians find really challenging. And we also see this transfer to code verification.”
0:56

Axiom Math founder Carina Hong on why math is the path to general superintelligence: “Math is the sandbox for reality. You very quickly see verifiable rewards because in math, there’s an absolute right or wrong.” “And especially when you have Lean, you can check the proof or solution step by step. You’ll be able to apply reinforcement learning in a much more efficient way.” “We have currently scaled from winning a Putnam perfect score to solving a batch of research problems that professional mathematicians find really challenging. And we also see this transfer to code verification.”

TBPN

39,589 次观看 • 5 个月前

The DeepSeek-R1 paper is a gem! Highly encourage everyone to read it. It's clear that LLM reasoning capabilities can be learned in different ways. RL, if applied correctly and at scale, can lead to some really powerful and interesting scaling and emergent properties. There is more to RL than meets the eye! Here is my breakdown of the paper along with a few tests: The multi-state training might not make sense initially but they provide clues on optimizations that we can continue to tap into. Data quality is still very important for enhancing the usability of the LLM. Unlike other reasoning LLMs, DeepSeek-R1's training recipe and weights are open so we can build on top of it. This opens up exciting research opportunities. About the attached clip: the previous preview model wasn't able to solve this task. DeepSeek-R1 can solve this and many other tasks that o1 can solve. It's a very good model for coding and math.
1:57

The DeepSeek-R1 paper is a gem! Highly encourage everyone to read it. It's clear that LLM reasoning capabilities can be learned in different ways. RL, if applied correctly and at scale, can lead to some really powerful and interesting scaling and emergent properties. There is more to RL than meets the eye! Here is my breakdown of the paper along with a few tests: The multi-state training might not make sense initially but they provide clues on optimizations that we can continue to tap into. Data quality is still very important for enhancing the usability of the LLM. Unlike other reasoning LLMs, DeepSeek-R1's training recipe and weights are open so we can build on top of it. This opens up exciting research opportunities. About the attached clip: the previous preview model wasn't able to solve this task. DeepSeek-R1 can solve this and many other tasks that o1 can solve. It's a very good model for coding and math.

elvis

140,692 次观看 • 1 年前

This is one of my favorite movie endings... It has a powerful lesson: "At some point, everything is going to go south on you...and you're gonna say 'this is it, this is how I end.' Now you can either accept that, or you can get to work. That's all it is, you just begin. You do the math. You solve one problem. Then you solve the next one. And the next. And if you solve enough problems, you get to come home." This is the beautiful thing about life: No matter where you are today—no matter how deep in the darkness—you are always just one good decision away from being in a better place tomorrow. You can always focus on that one decision—that one problem—in front of you. Don't worry about the hundreds or thousands of decisions that you still have to make to get to where you want to be—just focus on the next decision. Just begin. Solve one problem. Then solve the next one. And the next. "Life is really simple, but we insist on making it complicated." - Confucius
0:50

This is one of my favorite movie endings... It has a powerful lesson: "At some point, everything is going to go south on you...and you're gonna say 'this is it, this is how I end.' Now you can either accept that, or you can get to work. That's all it is, you just begin. You do the math. You solve one problem. Then you solve the next one. And the next. And if you solve enough problems, you get to come home." This is the beautiful thing about life: No matter where you are today—no matter how deep in the darkness—you are always just one good decision away from being in a better place tomorrow. You can always focus on that one decision—that one problem—in front of you. Don't worry about the hundreds or thousands of decisions that you still have to make to get to where you want to be—just focus on the next decision. Just begin. Solve one problem. Then solve the next one. And the next. "Life is really simple, but we insist on making it complicated." - Confucius

Sahil Bloom

213,822 次观看 • 2 年前

#WATCH | Mumbai, Maharashtra: On attending the Yashraj Bharati Samman (YBS) 2026 Gratitude Ceremony, Indian-American economist Abhijit Banerjee says, "...What is development? I want to start with the same question, which is, what makes development? I think there are two very standard views you hear all the time, and there's, of course, some truth to them. One of them is that we need to have resources, and essentially, if we have resources, we can solve the problems... The other is that we need self-reliance, and that people need to help themselves and solve their problems... The real problem in education is not the lack of technology, that's not the lack of sophisticated material, it's not the lack of infrastructure. It was the simple fact that teachers don't teach the child; they teach the curriculum. By promoting the opposite, by promoting the idea that you should teach the child and not the curriculum, it's been shown that all over the world, education can improve very fast..." (03.05)
4:21

#WATCH | Mumbai, Maharashtra: On attending the Yashraj Bharati Samman (YBS) 2026 Gratitude Ceremony, Indian-American economist Abhijit Banerjee says, "...What is development? I want to start with the same question, which is, what makes development? I think there are two very standard views you hear all the time, and there's, of course, some truth to them. One of them is that we need to have resources, and essentially, if we have resources, we can solve the problems... The other is that we need self-reliance, and that people need to help themselves and solve their problems... The real problem in education is not the lack of technology, that's not the lack of sophisticated material, it's not the lack of infrastructure. It was the simple fact that teachers don't teach the child; they teach the curriculum. By promoting the opposite, by promoting the idea that you should teach the child and not the curriculum, it's been shown that all over the world, education can improve very fast..." (03.05)

ANI

11,963 次观看 • 3 个月前

Elon Musk Elon Musk on Neuralink: “So, when I emphasized the purpose of Neuralink, like what do we, what's our goal, our goal is to solve important spine and brain problems with a seamlessly implanted device. So, you wanna have a device that you can basically put in your head and feel and look totally normal, but it solves some important problem in your brain or spine. And the reality is that almost everyone, over time, will develop brain and spine problems. These range from minor to very severe, but if you live long enough, everyone's gonna basically have some kind of neurological disorder, from memory loss to brain damage. But the thing that's important to appreciate is that an implantable device can actually solve these problems. I think a lot of people don't quite realise that, but all of your senses, your sight, hearing, feeling, pain, these are all electrical signals sent by neurons to your brain.”
0:55

Elon Musk Elon Musk on Neuralink: “So, when I emphasized the purpose of Neuralink, like what do we, what's our goal, our goal is to solve important spine and brain problems with a seamlessly implanted device. So, you wanna have a device that you can basically put in your head and feel and look totally normal, but it solves some important problem in your brain or spine. And the reality is that almost everyone, over time, will develop brain and spine problems. These range from minor to very severe, but if you live long enough, everyone's gonna basically have some kind of neurological disorder, from memory loss to brain damage. But the thing that's important to appreciate is that an implantable device can actually solve these problems. I think a lot of people don't quite realise that, but all of your senses, your sight, hearing, feeling, pain, these are all electrical signals sent by neurons to your brain.”

Beanie👾

1,182,555 次观看 • 10 个月前

.Naval: Every human is a lottery ticket bet on the future of the species. One of the things that you really learn when you read David Deutsch’s theories and you authenticate them for yourself is you realize humans are universal explainers. That means everything that we know in the universe follows the laws of physics, and there’s no reason to believe otherwise. If you think otherwise, then please present your better theory that explains the world. If you can’t do that, then you have to go with the laws of physics. Well, the laws of physics are completely computable. They can fit inside a Turing machine or computer, and a computer can simulate the laws of physics with arbitrary accuracy, limited only by the specific power of that computer. If you increase the power of that computer, you can simulate them more accurately. So humans already simulate—in our minds we simulate—and through our computers we simulate the weather, we simulate quasars, we even simulate human systems. We simulate the economy. We simulate all kinds of things. So anything that can be understood, we can understand in our minds. This is something the AGI people get wrong when they talk about superintelligence. There is nothing out there that can understand something fundamentally that we can’t understand. It might be faster at it, it might have more compute, it might have more memory, but there’s no concept that it can understand that we can’t ourselves understand. So we are maximal universal explainers. That means every human is capable of unbounded creativity. Anyone could be the next Einstein or Fermi or Elon Musk or Jeff Bezos or Jonas Salk or whatever. So we can create anything. And if we can create anything, every human is a lottery ticket bet on the future of the species.
1:37

.Naval: Every human is a lottery ticket bet on the future of the species. One of the things that you really learn when you read David Deutsch’s theories and you authenticate them for yourself is you realize humans are universal explainers. That means everything that we know in the universe follows the laws of physics, and there’s no reason to believe otherwise. If you think otherwise, then please present your better theory that explains the world. If you can’t do that, then you have to go with the laws of physics. Well, the laws of physics are completely computable. They can fit inside a Turing machine or computer, and a computer can simulate the laws of physics with arbitrary accuracy, limited only by the specific power of that computer. If you increase the power of that computer, you can simulate them more accurately. So humans already simulate—in our minds we simulate—and through our computers we simulate the weather, we simulate quasars, we even simulate human systems. We simulate the economy. We simulate all kinds of things. So anything that can be understood, we can understand in our minds. This is something the AGI people get wrong when they talk about superintelligence. There is nothing out there that can understand something fundamentally that we can’t understand. It might be faster at it, it might have more compute, it might have more memory, but there’s no concept that it can understand that we can’t ourselves understand. So we are maximal universal explainers. That means every human is capable of unbounded creativity. Anyone could be the next Einstein or Fermi or Elon Musk or Jeff Bezos or Jonas Salk or whatever. So we can create anything. And if we can create anything, every human is a lottery ticket bet on the future of the species.

Arjun Khemani

33,110 次观看 • 1 年前

Terence Tao has an IQ above 200. Youngest gold medalist in Math Olympiad history. Fields Medal winner. The greatest living mathematician by nearly any measure. And he just said something most people aren’t ready for. Tao: “This whole era of AI is teaching us that our idea of what intelligence is, is not really accurate.” We spent centuries building civilization on one assumption. That intelligence was sacred. Irreducible. Uniquely ours. The one thing that made the entire human story make sense. Then AI started solving things we swore only we could. Chess. Language. Vision. Math. And every time, we reached for the same defense. That’s not real intelligence. It’s just tricks. Just pattern matching. Just an algorithm. Tao: “You look at how it’s done and it doesn’t feel like intelligence.” So we moved the line. Again. And again. And again. Because intelligence was supposed to feel like something. Something deep. Something we could point to and say… this is what separates us from everything else. But AI kept solving the problems. And that feeling never arrived. Tao: “We were looking for some elusive, intelligent way of thinking and we don’t see it in the tools that actually solve our goals.” Here’s what makes it worse. Large language models work by predicting the next word. One word at a time. No grand architecture. No deep understanding. Just probability. And it works. Tao: “Maybe that’s actually a lot of what humans do as well.” The greatest living mathematician just told you human thought might run on the same machinery. Not some transcendent spark. Pattern recognition. Prediction. One thought, one decision, one word at a time. We built religion around intelligence. Philosophy around it. An entire species identity around it. And a machine running probability just held up a mirror. We didn’t lose intelligence to AI. We just finally saw what it always was. What haunts us isn’t that machines learned to think. It’s that thinking was never what we needed it to be.
1:19

Terence Tao has an IQ above 200. Youngest gold medalist in Math Olympiad history. Fields Medal winner. The greatest living mathematician by nearly any measure. And he just said something most people aren’t ready for. Tao: “This whole era of AI is teaching us that our idea of what intelligence is, is not really accurate.” We spent centuries building civilization on one assumption. That intelligence was sacred. Irreducible. Uniquely ours. The one thing that made the entire human story make sense. Then AI started solving things we swore only we could. Chess. Language. Vision. Math. And every time, we reached for the same defense. That’s not real intelligence. It’s just tricks. Just pattern matching. Just an algorithm. Tao: “You look at how it’s done and it doesn’t feel like intelligence.” So we moved the line. Again. And again. And again. Because intelligence was supposed to feel like something. Something deep. Something we could point to and say… this is what separates us from everything else. But AI kept solving the problems. And that feeling never arrived. Tao: “We were looking for some elusive, intelligent way of thinking and we don’t see it in the tools that actually solve our goals.” Here’s what makes it worse. Large language models work by predicting the next word. One word at a time. No grand architecture. No deep understanding. Just probability. And it works. Tao: “Maybe that’s actually a lot of what humans do as well.” The greatest living mathematician just told you human thought might run on the same machinery. Not some transcendent spark. Pattern recognition. Prediction. One thought, one decision, one word at a time. We built religion around intelligence. Philosophy around it. An entire species identity around it. And a machine running probability just held up a mirror. We didn’t lose intelligence to AI. We just finally saw what it always was. What haunts us isn’t that machines learned to think. It’s that thinking was never what we needed it to be.

Dustin

564,585 次观看 • 3 个月前

Tomorrow, we publish a new The Edge Podcast with Robinhood GM of Crypto, Johann Kerbrat. This clip might be the clearest articulation I’ve ever heard on why Ethereum's roadmap is working, and why Robinhood chose to build its own L2 using Arbitrum. + Ethereum offers security, with proven decentralization + New L1s = centralized databases + EVM liquidity is essential for tokenized stocks & RWAs + Arbitrum’s tech stack wins on engineering merit No edits. No spin. Just a major U.S. fintech explaining why they’re building the future of finance on Ethereum. Real validation for those of us who are long term Ethereum/ETH investors. Here is the clip and transcript for Johann answering why Robinhood chose to build its own Ethereum L2: "You see a lot of companies right now building their own L1. And for us, we felt excited about this idea where we can control anything that we want to build and we don't have to deal with any other chain to talk to or anything like that. But at the same time, creating the security of a real proper decentralized chain is extremely difficult, as you know. And we basically get that for free with Ethereum. The network has been going on for a very long time now and the security is stable and it's decentralized. And I think that's really the key two points that we wanted to have. When you look at some of these new L1s that are being created, it's not really decentralized and it's not really secure. So at the end of the day, you're basically having like a... fancy database that is probably a bit slower to use than an actual database. And so we didn't really see the value in that. With Ethereum, we get the security by default. The second thing that we get by having an L2 is that you get all this liquidity that is already part of all the EVM compatible chains. And that was also a very important decision factor for us. If we really want to bring the stock market onto the chain, we need to have this liquidity. It's not going to be possible if it's in a closed loop or in a closed chain that nobody can access and you need to have like 20 different hoops before you can bridge to that chain. So for us, that was kind of the two elements that we really wanted to focus on and that's why we decided on building on Ethereum. And then we decided on Arbitrum mostly because we love the technology. There's a few things that we are excited about. For example, Stylus. It's a way that we can basically use different language into the chain and we can build on top of that. We also like the way that they prioritize transactions that is, we think, a better way than some of the competition. And so basically we'll use the Arbitrum stack and we'll create our own L2, which will make us also compatible with all the Arbitrum chains. And so we think it's kind of the best of all the worlds. But for us, the idea is like we will start with public stock, and then we think that we can tokenize anything really, not just stocks. It can be private stock, it can be art, it can be real estate, whatever you want to think of. And so we really wanted to have a platform that is kind of easy to build on and we can keep adding on it. At the same time, we know that regulation are going to be hard on some of these products, especially when it comes to financial products. You always have different regulators. You have different rules depending on the region. If you're in the EU versus the US versus LATAM. And so we felt like we wanted to have our own layer that we could customize for these needs. And then anyone that is building on the chain will also be able to benefit from what we are building, versus just putting everything in a contract that will be just good for the people that are using the Robinhood contracts. But so at this point, we announced the chain in June. We are in private test right now, and then we'll do more announcements in the future." Subscribe for the full episode tomorrow! ► Newsletter: ► Spotify: ► Apple: ► Youtube: ► Pods:
3:27

Tomorrow, we publish a new The Edge Podcast with Robinhood GM of Crypto, Johann Kerbrat. This clip might be the clearest articulation I’ve ever heard on why Ethereum's roadmap is working, and why Robinhood chose to build its own L2 using Arbitrum. + Ethereum offers security, with proven decentralization + New L1s = centralized databases + EVM liquidity is essential for tokenized stocks & RWAs + Arbitrum’s tech stack wins on engineering merit No edits. No spin. Just a major U.S. fintech explaining why they’re building the future of finance on Ethereum. Real validation for those of us who are long term Ethereum/ETH investors. Here is the clip and transcript for Johann answering why Robinhood chose to build its own Ethereum L2: "You see a lot of companies right now building their own L1. And for us, we felt excited about this idea where we can control anything that we want to build and we don't have to deal with any other chain to talk to or anything like that. But at the same time, creating the security of a real proper decentralized chain is extremely difficult, as you know. And we basically get that for free with Ethereum. The network has been going on for a very long time now and the security is stable and it's decentralized. And I think that's really the key two points that we wanted to have. When you look at some of these new L1s that are being created, it's not really decentralized and it's not really secure. So at the end of the day, you're basically having like a... fancy database that is probably a bit slower to use than an actual database. And so we didn't really see the value in that. With Ethereum, we get the security by default. The second thing that we get by having an L2 is that you get all this liquidity that is already part of all the EVM compatible chains. And that was also a very important decision factor for us. If we really want to bring the stock market onto the chain, we need to have this liquidity. It's not going to be possible if it's in a closed loop or in a closed chain that nobody can access and you need to have like 20 different hoops before you can bridge to that chain. So for us, that was kind of the two elements that we really wanted to focus on and that's why we decided on building on Ethereum. And then we decided on Arbitrum mostly because we love the technology. There's a few things that we are excited about. For example, Stylus. It's a way that we can basically use different language into the chain and we can build on top of that. We also like the way that they prioritize transactions that is, we think, a better way than some of the competition. And so basically we'll use the Arbitrum stack and we'll create our own L2, which will make us also compatible with all the Arbitrum chains. And so we think it's kind of the best of all the worlds. But for us, the idea is like we will start with public stock, and then we think that we can tokenize anything really, not just stocks. It can be private stock, it can be art, it can be real estate, whatever you want to think of. And so we really wanted to have a platform that is kind of easy to build on and we can keep adding on it. At the same time, we know that regulation are going to be hard on some of these products, especially when it comes to financial products. You always have different regulators. You have different rules depending on the region. If you're in the EU versus the US versus LATAM. And so we felt like we wanted to have our own layer that we could customize for these needs. And then anyone that is building on the chain will also be able to benefit from what we are building, versus just putting everything in a contract that will be just good for the people that are using the Robinhood contracts. But so at this point, we announced the chain in June. We are in private test right now, and then we'll do more announcements in the future." Subscribe for the full episode tomorrow! ► Newsletter: ► Spotify: ► Apple: ► Youtube: ► Pods:

DeFi Dad ⟠ defidad.eth

62,600 次观看 • 8 个月前

Terence Tao: AI isn’t hype anymore in Math discovery. Terence Tao is one of the greatest living mathematicians, in his new lecture explains how AI and human professional mathematicians are now complementary. "There has been a really visible increase in capability. It is not pure hype by any means. To me, these advances show there is a complementary way to do mathematics. Humans traditionally work in small groups on hard problems for months, and we will keep doing that. But we can also now set AI to scale: sweep a thousand problems and pick up all the low-hanging fruit. Figure out all the ways to match problems to methods. If there are 20 different techniques, apply them all to 1,000 problems and see which ones can be solved by these methods. This is the capability that is present today." From 'Institute for Pure & Applied Mathematics (IPAM)' YT channel.
0:45

Terence Tao: AI isn’t hype anymore in Math discovery. Terence Tao is one of the greatest living mathematicians, in his new lecture explains how AI and human professional mathematicians are now complementary. "There has been a really visible increase in capability. It is not pure hype by any means. To me, these advances show there is a complementary way to do mathematics. Humans traditionally work in small groups on hard problems for months, and we will keep doing that. But we can also now set AI to scale: sweep a thousand problems and pick up all the low-hanging fruit. Figure out all the ways to match problems to methods. If there are 20 different techniques, apply them all to 1,000 problems and see which ones can be solved by these methods. This is the capability that is present today." From 'Institute for Pure & Applied Mathematics (IPAM)' YT channel.

Rohan Paul

174,109 次观看 • 6 个月前

Naval Ravikant on the importance of hiring high-agency people Naval defines agency as: “People who just solve problems without even being asked to solve the problem—they identify the problem, they go solve it, they don’t even necessarily have to update you every step of the way, they’re not asking silly questions, and they’re just coming up with solutions.” He believes this is important because “building a startup is an infinite set of problems that are being thrown at you.” And there comes a day where you can’t even look at every problem your company is facing—let alone solve every one of them. He cites the Vinod Khosla aphorism: "The team you build is the company you build, not the plan you make.” And your ability to solve problems is based entirely on how many problem-solvers you have at your company. As Naval puts it: “If you have somebody who takes 10% of your time and management to solve problems, you can only have 10 of those people working with you. But if somebody takes 5%, you can have 20 of those people.” When building Airchat and AngelList, he thought of each team as a Navy Seal team: “Everyone is just really good at what they do. They know their job. They do it. They don’t complain. They’re not egotistical about it. And if they have to constantly be corrected, led around by the nose, you have to clean up after them, or you question their judgement, it’s not going to work out.”
1:19

Naval Ravikant on the importance of hiring high-agency people Naval defines agency as: “People who just solve problems without even being asked to solve the problem—they identify the problem, they go solve it, they don’t even necessarily have to update you every step of the way, they’re not asking silly questions, and they’re just coming up with solutions.” He believes this is important because “building a startup is an infinite set of problems that are being thrown at you.” And there comes a day where you can’t even look at every problem your company is facing—let alone solve every one of them. He cites the Vinod Khosla aphorism: "The team you build is the company you build, not the plan you make.” And your ability to solve problems is based entirely on how many problem-solvers you have at your company. As Naval puts it: “If you have somebody who takes 10% of your time and management to solve problems, you can only have 10 of those people working with you. But if somebody takes 5%, you can have 20 of those people.” When building Airchat and AngelList, he thought of each team as a Navy Seal team: “Everyone is just really good at what they do. They know their job. They do it. They don’t complain. They’re not egotistical about it. And if they have to constantly be corrected, led around by the nose, you have to clean up after them, or you question their judgement, it’s not going to work out.”

Startup Archive

552,837 次观看 • 2 年前

BREAKING: Shaun Maguire (Shaun Maguire) of Sequoia Returns We cover - AI vs Humans: Vlad Tenev's Mathematical Superintelligence Harmonic - Physics, UAPs, & the limits of human understanding X Exclusive: KGB psyops & information warfare Shaun explains Sequoia Capital's investment in Harmonic, the Math Superintelligence company co-founded by Robinhood ( $HOOD) CEO Vlad Tenev + Tudor Achim, & why math + reinforcement learning may unlock the next major breakthrough in artificial intelligence. Harmonic uses a differentiated strategy using Lean, formalized proofs, & RL to train AI systems that reason rigorously about math, outperforming far larger labs with a fraction of the spend.. & of course, humans. Highlights: (00:00) Shaun Maguire, Partner at Sequoia Capital (01:26) How Sequoia ended up investing in Harmonic (06:52) Is time travel actually possible? (08:39) Why the speed of light and physical laws are often misunderstood (11:43) Vacuum energy, virtual particles, & the Casimir effect (14:09) Why “laws of physics” are averages, not absolutes (15:57) Palmer Luckey on invisibility cloaks, UAPs, & aliens (18:46) X Exclusive: KGB psyops & Cold War tactics (20:47) The Pope Pius XII story (22:51) How framing & fake archives shaped propaganda in the 1940s (28:09) KGB playbook: division as strategy (31:34) Socialism: Venezuela vs NYC (34:57) The cost of speaking out (36:41) Investing in X, Elon Musk & the debate over free speech
38:49

BREAKING: Shaun Maguire (Shaun Maguire) of Sequoia Returns We cover - AI vs Humans: Vlad Tenev's Mathematical Superintelligence Harmonic - Physics, UAPs, & the limits of human understanding X Exclusive: KGB psyops & information warfare Shaun explains Sequoia Capital's investment in Harmonic, the Math Superintelligence company co-founded by Robinhood ( $HOOD) CEO Vlad Tenev + Tudor Achim, & why math + reinforcement learning may unlock the next major breakthrough in artificial intelligence. Harmonic uses a differentiated strategy using Lean, formalized proofs, & RL to train AI systems that reason rigorously about math, outperforming far larger labs with a fraction of the spend.. & of course, humans. Highlights: (00:00) Shaun Maguire, Partner at Sequoia Capital (01:26) How Sequoia ended up investing in Harmonic (06:52) Is time travel actually possible? (08:39) Why the speed of light and physical laws are often misunderstood (11:43) Vacuum energy, virtual particles, & the Casimir effect (14:09) Why “laws of physics” are averages, not absolutes (15:57) Palmer Luckey on invisibility cloaks, UAPs, & aliens (18:46) X Exclusive: KGB psyops & Cold War tactics (20:47) The Pope Pius XII story (22:51) How framing & fake archives shaped propaganda in the 1940s (28:09) KGB playbook: division as strategy (31:34) Socialism: Venezuela vs NYC (34:57) The cost of speaking out (36:41) Investing in X, Elon Musk & the debate over free speech

Molly O’Shea

37,145 次观看 • 6 个月前