Загрузка видео...

Не удалось загрузить видео

На главную

🚨 FULL CONVERSATION Fields medalist Terry Tao sits down with Math Inc's Jesse Michael Han and Jared Duker Lichtman for a conversation on the future of mathematics. "I got convinced that this was the future of mathematics [...] It's a different style of writing proofs that actually is in...

mathematics_inc's profile picture

Math, Inc.

13,586 subscribers

337,383 просмотров • 8 месяцев назад •via X (Twitter)

ОбразованиеНаука и технологии
LIVE

Anya Rossi• Live Now

Private livecam show

Комментарии: 34

Фото профиля Math, Inc.
Math, Inc.8 месяцев назад

Watch the full conversation on YouTube:

Фото профиля Cris Parilo
Cris Parilo8 месяцев назад

@paulg @jessemhan @jdlichtman New tools widen the craft. Taste still decides what matters.

Фото профиля DULA
DULA8 месяцев назад

@jessemhan @jdlichtman The Riemann Hypothesis last breath! 🪦

Фото профиля Jeycosmos ⚔️
Jeycosmos ⚔️8 месяцев назад

@jessemhan @jdlichtman math's just getting started, can't wait to see what’s next

Фото профиля Jin Woo
Jin Woo8 месяцев назад

@jessemhan @jdlichtman The evolution of math sparks new horizons ahead.

Фото профиля Zachary.ETH
Zachary.ETH8 месяцев назад

@jessemhan @jdlichtman wild shift

Фото профиля Prateek Joshi
Prateek Joshi8 месяцев назад

@jessemhan @jdlichtman This is phenomenal.

Фото профиля 0xHarding
0xHarding8 месяцев назад

@jessemhan @jdlichtman Wild to think proof-checking might shift from human grind to full-on system synergy. Big doors opening for the craft.

Фото профиля Nora🌸
Nora🌸8 месяцев назад

@jessemhan @jdlichtman math inc is shaping the future of mathematics

Фото профиля Morgan | Alpha Hunter
Morgan | Alpha Hunter8 месяцев назад

@jessemhan @jdlichtman Proofs bout to start reading like code, kinda unreal to picture it

Фото профиля 0xPiquis.ETH
0xPiquis.ETH8 месяцев назад

@jessemhan @jdlichtman math is scaling

Фото профиля 0xww
0xww8 месяцев назад

@jessemhan @jdlichtman Exploring new methods in mathematics opens endless possibilities ahead.

Фото профиля Karyn
Karyn8 месяцев назад

@jessemhan @jdlichtman Mathematics future: clear proofs, easier to read, broader mathematician definition.

Фото профиля Dac vu
Dac vu8 месяцев назад

@jessemhan @jdlichtman really interesting how new proof styles could change who we see as mathematicians. broadening the field is exciting

Фото профиля 0xLenx
0xLenx8 месяцев назад

@jessemhan @jdlichtman Mathematical future holds exciting changes in communication methods.

Фото профиля Readlee NFTKING
Readlee NFTKING8 месяцев назад

@jessemhan @jdlichtman proofs evolving feels like the art form finally catching up to its own imagination

Фото профиля Ares
Ares8 месяцев назад

@jessemhan @jdlichtman proofs go liquid

Фото профиля Kevin
Kevin8 месяцев назад

@jessemhan @jdlichtman Second fields medal plus Turing Award right away

Фото профиля xdiep4474.eth
xdiep4474.eth8 месяцев назад

@jessemhan @jdlichtman machine-verified proofs as collaborative math primitives

Фото профиля 0xww
0xww8 месяцев назад

@jessemhan @jdlichtman Mathematics evolves, new methods enhance understanding and collaboration expands.

Фото профиля René
René8 месяцев назад

@jessemhan @jdlichtman Interesting interview & predictions ... and error rate cliffhanger!

Фото профиля Karyn
Karyn8 месяцев назад

@jessemhan @jdlichtman The evolution of mathematics entails newfound perspectives and methodologies.

Фото профиля Dina
Dina8 месяцев назад

@jessemhan @jdlichtman proofs bout to get a glow up

Фото профиля Nhung🐰
Nhung🐰8 месяцев назад

@jessemhan @jdlichtman mathematician++ incoming

Фото профиля 0xPanda0x
0xPanda0x8 месяцев назад

@jessemhan @jdlichtman Proofs gonna hit different now

Фото профиля Karyn
Karyn8 месяцев назад

@jessemhan @jdlichtman The evolution of mathematics through innovative proof representations and concepts.

Фото профиля DragonFi🛡
DragonFi🛡8 месяцев назад

@jessemhan @jdlichtman Yea seeing proofs evolve like this gonna change the whole game for sure

Фото профиля WilcosX.eth
WilcosX.eth8 месяцев назад

@jessemhan @jdlichtman math codebase era incoming

Фото профиля Be-my-friend
Be-my-friend8 месяцев назад

@jessemhan @jdlichtman Interesting to see how these discussions evolve over time; math's direction keeps shifting.

Фото профиля 0xww
0xww8 месяцев назад

@jessemhan @jdlichtman Tao predicts a shift in mathematics towards transparent proofs.

Фото профиля Keng
Keng8 месяцев назад

@jessemhan @jdlichtman math inc is secretly based

Фото профиля Duc Crypto
Duc Crypto8 месяцев назад

@jessemhan @jdlichtman Proofs getting more computational, mathians gonna love it

Фото профиля nany.eth
nany.eth8 месяцев назад

@jessemhan @jdlichtman feels like once proofs go fully structured the whole game shifts new players, new pace, new frontier

Фото профиля James skinner
James skinner8 месяцев назад

@jessemhan @jdlichtman 흥미롭네요ㅎ

Похожие видео

💎 FULL CONVERSATION 💎 Renowned professor of mathematics Emily Riehl at Johns Hopkins University sits down with Math Inc's Jesse Michael Han and Jared Duker Lichtman for a conversation on the future of mathematics. “Formalization has completely changed my view of what mathematics is.” “It acquainted me with a different approach to the foundations of mathematics.” “It helps you think and speak more precisely, often at this dream stage where new ideas are being developed.” “This is what I think the future of mathematics could be.” Watch the full video on YouTube:
43:11

💎 FULL CONVERSATION 💎 Renowned professor of mathematics Emily Riehl at Johns Hopkins University sits down with Math Inc's Jesse Michael Han and Jared Duker Lichtman for a conversation on the future of mathematics. “Formalization has completely changed my view of what mathematics is.” “It acquainted me with a different approach to the foundations of mathematics.” “It helps you think and speak more precisely, often at this dream stage where new ideas are being developed.” “This is what I think the future of mathematics could be.” Watch the full video on YouTube:

Math, Inc.

16,325 просмотров • 7 месяцев назад

💎 Emily Riehl, renowned professor of mathematics at Johns Hopkins University: “Formalization has completely changed my view of what mathematics is. Actually most of that is because it acquainted me with a different approach to the foundations of mathematics.” Full conversation with Math, Inc.’s Jesse Michael Han and Jared Duker Lichtman soon.
0:21

💎 Emily Riehl, renowned professor of mathematics at Johns Hopkins University: “Formalization has completely changed my view of what mathematics is. Actually most of that is because it acquainted me with a different approach to the foundations of mathematics.” Full conversation with Math, Inc.’s Jesse Michael Han and Jared Duker Lichtman soon.

Math, Inc.

62,230 просмотров • 8 месяцев назад

🚨 BREAKING: Fields medalist Terry Tao on how mathematics will change: “When these tools are perfected, we will change the way we do mathematics. If there's a drudgery or a big computation, we'll just hit it with all our technology and say: 'By Gauss, you can get from here to there,' and now we just keep going. So we can blast through all these obstacles that we avoid almost subconsciously. If you look at what we miss, it's the missed opportunities, and that percentage of the overall opportunities is huge.” Full conversation with Math, Inc.’s Jesse Michael Han and Jared Duker Lichtman coming soon.
0:36

🚨 BREAKING: Fields medalist Terry Tao on how mathematics will change: “When these tools are perfected, we will change the way we do mathematics. If there's a drudgery or a big computation, we'll just hit it with all our technology and say: 'By Gauss, you can get from here to there,' and now we just keep going. So we can blast through all these obstacles that we avoid almost subconsciously. If you look at what we miss, it's the missed opportunities, and that percentage of the overall opportunities is huge.” Full conversation with Math, Inc.’s Jesse Michael Han and Jared Duker Lichtman coming soon.

Math, Inc.

138,937 просмотров • 9 месяцев назад

University of Toronto mathematician Daniel Litt on how AI has changed academic mathematics' reward incentives, and how easily he proved it: "The goal of mathematics is not to produce mathematics papers. It's to produce some kind of understanding." "Maybe some of that understanding resides in model weights or something. To me, that's pretty unsatisfying." "My motivation for doing mathematics is that I would like to satisfy my own personal curiosity, and I think people should have the capability to do that. That requires a pretty substantial apparatus." "Right now, if you're a post-doc on the market... the best way to get a job is to produce a lot of papers which maybe prove old conjectures. And you can do that by playing the slot machine until the model produces a hopefully correct proof." "You don't even have to pick the theorem in advance." "Here's an experiment you can do. You can take Codex, you can say, 'Go online, find five recent conjectures in algebraic geometry and prove them.' I've run this experiment, and with some back and forth I was able to in an hour get like three quite bad papers. But correct papers." Daniel Litt Lisha
1:19

University of Toronto mathematician Daniel Litt on how AI has changed academic mathematics' reward incentives, and how easily he proved it: "The goal of mathematics is not to produce mathematics papers. It's to produce some kind of understanding." "Maybe some of that understanding resides in model weights or something. To me, that's pretty unsatisfying." "My motivation for doing mathematics is that I would like to satisfy my own personal curiosity, and I think people should have the capability to do that. That requires a pretty substantial apparatus." "Right now, if you're a post-doc on the market... the best way to get a job is to produce a lot of papers which maybe prove old conjectures. And you can do that by playing the slot machine until the model produces a hopefully correct proof." "You don't even have to pick the theorem in advance." "Here's an experiment you can do. You can take Codex, you can say, 'Go online, find five recent conjectures in algebraic geometry and prove them.' I've run this experiment, and with some back and forth I was able to in an hour get like three quite bad papers. But correct papers." Daniel Litt Lisha

a16z

36,691 просмотров • 18 дней назад

Is math something humans invent—or something we discover? And why does it describe the universe so uncannily well? In this episode of Uncommon Knowledge, Peter Robinson sits down with mathematicians David Berlinski, Sergiu Klainerman, and Stephen C. Meyer to explore one of the deepest mysteries in science and philosophy: the reality of mathematics. From the simple certainty that 2 + 2 = 4 to the mind-bending mathematics behind black holes and quantum physics, the conversation asks why abstract numbers—created in the human mind—map so perfectly onto the physical world. Is mathematics purely logical, or does it point to a deeper structure of reality that isn't material at all? Along the way, the panel explores beauty in science, the "unreasonable effectiveness" of math, and whether the concept of materialism can really explain the world we live in. This wide-ranging discussion blends mathematics, physics, philosophy, and metaphysics into a fascinating conversation about truth, beauty, and the nature of reality itself. Watch the full episode of Uncommon Knowledge on X:
57:17

Is math something humans invent—or something we discover? And why does it describe the universe so uncannily well? In this episode of Uncommon Knowledge, Peter Robinson sits down with mathematicians David Berlinski, Sergiu Klainerman, and Stephen C. Meyer to explore one of the deepest mysteries in science and philosophy: the reality of mathematics. From the simple certainty that 2 + 2 = 4 to the mind-bending mathematics behind black holes and quantum physics, the conversation asks why abstract numbers—created in the human mind—map so perfectly onto the physical world. Is mathematics purely logical, or does it point to a deeper structure of reality that isn't material at all? Along the way, the panel explores beauty in science, the "unreasonable effectiveness" of math, and whether the concept of materialism can really explain the world we live in. This wide-ranging discussion blends mathematics, physics, philosophy, and metaphysics into a fascinating conversation about truth, beauty, and the nature of reality itself. Watch the full episode of Uncommon Knowledge on X:

Hoover Institution

51,619 просмотров • 8 месяцев назад

AI is changing the software engineering craft. Anders Hejlsberg (Anders Hejlsberg) - creator of C#, TypeScript and industry legend - on why code review needs to get more enjoyable in response: #1 - AI is shifting the craft from writing code, to reviewing code: "In a sense, we're all turning into project managers. We can have an army of junior programmers, called agents, that will just spit out reams of code but someone's got to have the big picture and review all of that. And so, increasingly, our craft is going from one of writing the code, to one of reviewing the code and building the architecture of the code and overseeing the work. It's a different kind of craft. It's a different kind of enjoyment. I've always liked writing the code. To me that was the fulfilling part, seeing it work. In a way, AI robs a little bit of that, because I am less interested in reviewing code." #2 - The code review experience should be improved: "I think we could also make the process of reviewing code much more interesting than it is today. I mean, today, you see a list of diffs in alphabetical order and now it's up to you to make heads or tails of it. There are more pedagogical ways of presenting that. And you could have commentary generated by the AI that tells you what the changes are and whatever, and then tries to guide you along. So that symbiotic relationship, I think we need to work on that more and to keep the enjoyment in there."
2:04

AI is changing the software engineering craft. Anders Hejlsberg (Anders Hejlsberg) - creator of C#, TypeScript and industry legend - on why code review needs to get more enjoyable in response: #1 - AI is shifting the craft from writing code, to reviewing code: "In a sense, we're all turning into project managers. We can have an army of junior programmers, called agents, that will just spit out reams of code but someone's got to have the big picture and review all of that. And so, increasingly, our craft is going from one of writing the code, to one of reviewing the code and building the architecture of the code and overseeing the work. It's a different kind of craft. It's a different kind of enjoyment. I've always liked writing the code. To me that was the fulfilling part, seeing it work. In a way, AI robs a little bit of that, because I am less interested in reviewing code." #2 - The code review experience should be improved: "I think we could also make the process of reviewing code much more interesting than it is today. I mean, today, you see a list of diffs in alphabetical order and now it's up to you to make heads or tails of it. There are more pedagogical ways of presenting that. And you could have commentary generated by the AI that tells you what the changes are and whatever, and then tries to guide you along. So that symbiotic relationship, I think we need to work on that more and to keep the enjoyment in there."

The Pragmatic Engineer

39,073 просмотров • 4 месяцев назад

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom
3:17

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom

MTS

13,324 просмотров • 1 месяц назад

Terence Tao: "Previously, you needed a PhD to contribute to math research. Now a high school student can." Dwarkesh asks the world's most famous mathematician: what's your advice for someone considering a career in math, especially in light of AI progress? Tao is honest about uncertainty: "We live in a time of change. A particularly unpredictable era. Things that we've taken for granted for centuries may not hold anymore. The way we do everything... not just mathematics... will change." He admits his preference: "In many ways, I would prefer a much more boring, quiet era where things are much the same as they were 10 or 20 years ago. But one just has to embrace this. There's going to be a lot of change. The things you study... some of them may become obsolete or revolutionized. But some things will be retained." On new opportunities: "Previously, you had to go through years and years of education and get a math PhD before you could contribute to the frontier of math research. But now it's quite possible at the high school level that you could get involved in a math project and actually make a real contribution... because of all these AI tools and Lean and everything else." His advice: "There will be a lot of non-traditional opportunities to learn. You need a very adaptable mindset. There'll be worth pursuing things just for curiosity and for playing around. Still go through traditional education and learn math and science the old-fashioned way for a while... credentials will still be important. But you should also be open to very, very different ways of doing science. Some of which don't exist yet." He concludes: "It's a scary time. But also very exciting."
2:28

Terence Tao: "Previously, you needed a PhD to contribute to math research. Now a high school student can." Dwarkesh asks the world's most famous mathematician: what's your advice for someone considering a career in math, especially in light of AI progress? Tao is honest about uncertainty: "We live in a time of change. A particularly unpredictable era. Things that we've taken for granted for centuries may not hold anymore. The way we do everything... not just mathematics... will change." He admits his preference: "In many ways, I would prefer a much more boring, quiet era where things are much the same as they were 10 or 20 years ago. But one just has to embrace this. There's going to be a lot of change. The things you study... some of them may become obsolete or revolutionized. But some things will be retained." On new opportunities: "Previously, you had to go through years and years of education and get a math PhD before you could contribute to the frontier of math research. But now it's quite possible at the high school level that you could get involved in a math project and actually make a real contribution... because of all these AI tools and Lean and everything else." His advice: "There will be a lot of non-traditional opportunities to learn. You need a very adaptable mindset. There'll be worth pursuing things just for curiosity and for playing around. Still go through traditional education and learn math and science the old-fashioned way for a while... credentials will still be important. But you should also be open to very, very different ways of doing science. Some of which don't exist yet." He concludes: "It's a scary time. But also very exciting."

Jaynit

77,698 просмотров • 4 месяцев назад

Cursor CEO Michael Truell on the future of writing code: "Our goal with Cursor is to invent a new type of programming." "It looks like a world where you have a representation of the logic of your software that does look more like English." "You can imagine kind of an evolution of programming language towards pseudocode. You have written down the logic of the software, and you can edit that at a high level." "It won't be the impenetrable millions of lines of code, it'll instead be something that's much terser and easier to understand and easier to navigate." Michael Truell with Lenny Rachitsky on Lenny's Podcast
2:50

Cursor CEO Michael Truell on the future of writing code: "Our goal with Cursor is to invent a new type of programming." "It looks like a world where you have a representation of the logic of your software that does look more like English." "You can imagine kind of an evolution of programming language towards pseudocode. You have written down the logic of the software, and you can edit that at a high level." "It won't be the impenetrable millions of lines of code, it'll instead be something that's much terser and easier to understand and easier to navigate." Michael Truell with Lenny Rachitsky on Lenny's Podcast

a16z

1,017,510 просмотров • 3 месяцев назад

Cursor CEO Michael Truell on the future of writing code: “ Our goal with Cursor is to invent a new type of programming.” “It looks like a world where you have a representation of the logic of your software that does look more like English.” “You can imagine kind of an evolution of programming language towards pseudocode. You have written down the logic of the software, and you can edit that at a high level.” “It won't be the impenetrable millions of lines of code, it'll instead be something that's much terser and easier to understand and easier to navigate.” Source: Michael Truell (CEO Cursor) with Lenny Rachitsky on Lenny's Podcast
2:50

Cursor CEO Michael Truell on the future of writing code: “ Our goal with Cursor is to invent a new type of programming.” “It looks like a world where you have a representation of the logic of your software that does look more like English.” “You can imagine kind of an evolution of programming language towards pseudocode. You have written down the logic of the software, and you can edit that at a high level.” “It won't be the impenetrable millions of lines of code, it'll instead be something that's much terser and easier to understand and easier to navigate.” Source: Michael Truell (CEO Cursor) with Lenny Rachitsky on Lenny's Podcast

a16z

812,698 просмотров • 10 месяцев назад

The workforce of the future: Humans and agents working in unison. 🤝 In a conversation with Patrick Moorhead and Daniel Newman, Sanjay Mirchandani, CEO of Commvault, shared his vision for the future of work. He explained that this is not an "either/or" situation and requires a mature, measured approach from executives to start experimenting and learning to find a clear business plan. Catch their full conversation on adapting your workforce for the AI era:
0:38

The workforce of the future: Humans and agents working in unison. 🤝 In a conversation with Patrick Moorhead and Daniel Newman, Sanjay Mirchandani, CEO of Commvault, shared his vision for the future of work. He explained that this is not an "either/or" situation and requires a mature, measured approach from executives to start experimenting and learning to find a clear business plan. Catch their full conversation on adapting your workforce for the AI era:

Six Five Media

61,127 просмотров • 1 год назад

Enough of the fluff. Time for some real advice. Launch your GPT 5.6 Sol Pro. Use the following prompt (feel free to swap the second and third lines for something of your choice): Prove for me that the group of rational points on the elliptic curve (y^2=x^3+17) is finitely generated. I want to tailor the general proof to this particular case to narrow down my understanding to a particular case. Write down a full mathematical proof, step by step, in Leslie Lamport style. Unpack all the definitions and notions so that it is fully self-contained. An example here: Notice how Sol is spawning all the subagents to complete the task. What is "Leslie Lamport style"? It's a technique where you split your proof into short, one-line sentences (claims) that are easy to justify. In a situation where your proof is not a 1-to-1 translation of, e.g., Python code, the Leslie Lamport-style proof can be treated as such. It tremendously improves the possibility of verifying each claim and helps the model structure the arguments in a very clear way. Leslie Lamport, a legendary mathematician and computer scientist, was a promoter of this way of structuring proofs. Partly because of that, he created an extension of Donald Knuth’s typesetting system TeX called LaTeX. Here you can read about "Leslie Lamport-style proofs":
1:44

Enough of the fluff. Time for some real advice. Launch your GPT 5.6 Sol Pro. Use the following prompt (feel free to swap the second and third lines for something of your choice): Prove for me that the group of rational points on the elliptic curve (y^2=x^3+17) is finitely generated. I want to tailor the general proof to this particular case to narrow down my understanding to a particular case. Write down a full mathematical proof, step by step, in Leslie Lamport style. Unpack all the definitions and notions so that it is fully self-contained. An example here: Notice how Sol is spawning all the subagents to complete the task. What is "Leslie Lamport style"? It's a technique where you split your proof into short, one-line sentences (claims) that are easy to justify. In a situation where your proof is not a 1-to-1 translation of, e.g., Python code, the Leslie Lamport-style proof can be treated as such. It tremendously improves the possibility of verifying each claim and helps the model structure the arguments in a very clear way. Leslie Lamport, a legendary mathematician and computer scientist, was a promoter of this way of structuring proofs. Partly because of that, he created an extension of Donald Knuth’s typesetting system TeX called LaTeX. Here you can read about "Leslie Lamport-style proofs":

Bartosz Naskręcki

31,115 просмотров • 2 месяцев назад

"Tolerance is not enough, you have to work together." The conversation with Amartya Sen becomes a masterclass in humanity. Among the themes we touched on: - the ancestry of mathematics, - the ideas of freedom and justice, - how mathematics and Sanskrit have shaped his economic thinking, - and even the legendary bicycle that carried him to win the The Nobel Prize in Economic Sciences, for his contributions to welfare economics. One thing I’ve learned is that his knowledge stands upon admiration and affection, admiration for the beauty of mathematics, and affection for the philosophical depth of Sanskrit literature. He's an economist by formation, but a humanitarian by heart and experience. An honor to learn from him. Tune in,
0:50

"Tolerance is not enough, you have to work together." The conversation with Amartya Sen becomes a masterclass in humanity. Among the themes we touched on: - the ancestry of mathematics, - the ideas of freedom and justice, - how mathematics and Sanskrit have shaped his economic thinking, - and even the legendary bicycle that carried him to win the The Nobel Prize in Economic Sciences, for his contributions to welfare economics. One thing I’ve learned is that his knowledge stands upon admiration and affection, admiration for the beauty of mathematics, and affection for the philosophical depth of Sanskrit literature. He's an economist by formation, but a humanitarian by heart and experience. An honor to learn from him. Tune in,

Gita Wirjawan

20,976 просмотров • 9 месяцев назад

“After 10 years in development, Mark Zuckerberg says Meta has unveiled what may be the future of communication.” Cleo Abram: I'd love to just hear in your voice what are these? Mark Zuckerberg: Well, these are the First full holographic augmented reality glasses I think that exist in the world. We've made I think it's a few thousand or something, right? Very hard to make each one of these, but this is the culmination of 10 years of research and development that we've done to basically miniaturize all the Computing that you need to have glasses—not a headset—but glasses that can put full Holograms into the world with a wide field of view. So you can imagine sort of in the future we'd be having a version of this conversation where, you know, maybe I or you are not even here. It's like one of us is physically here and the other one is here as a kind of a full body hologram. And it's not just a video call; you can actually interact, you can do things.
1:11

“After 10 years in development, Mark Zuckerberg says Meta has unveiled what may be the future of communication.” Cleo Abram: I'd love to just hear in your voice what are these? Mark Zuckerberg: Well, these are the First full holographic augmented reality glasses I think that exist in the world. We've made I think it's a few thousand or something, right? Very hard to make each one of these, but this is the culmination of 10 years of research and development that we've done to basically miniaturize all the Computing that you need to have glasses—not a headset—but glasses that can put full Holograms into the world with a wide field of view. So you can imagine sort of in the future we'd be having a version of this conversation where, you know, maybe I or you are not even here. It's like one of us is physically here and the other one is here as a kind of a full body hologram. And it's not just a video call; you can actually interact, you can do things.

SatisfyZone

95,640 просмотров • 1 месяц назад

“So originally, Paint by Numbers was like track one of the album. And at that time, the album was very different. It was like sonically sounding very different. It was like very introspective. I think I was really starting to feel like, you know, I think I loved the idea of opening the album with, oh, what a gift it is to be noticed, but it's nothing to do with me. I just loved, I was like so dedicated to that being the opening line. And I felt so like powerful in a lot of ways to be able to acknowledge that it's not really about me, you know. I mean the opening, the whole opening of the song is, oh, what a gift is to be noticed, but it's nothing to do with me. You've got to wonder if there's a reason to believe it's a lifetime of learning to Paint By Numbers and watching colors run.” - Harry about ‘Paint by Numbers’ on Q
1:15

“So originally, Paint by Numbers was like track one of the album. And at that time, the album was very different. It was like sonically sounding very different. It was like very introspective. I think I was really starting to feel like, you know, I think I loved the idea of opening the album with, oh, what a gift it is to be noticed, but it's nothing to do with me. I just loved, I was like so dedicated to that being the opening line. And I felt so like powerful in a lot of ways to be able to acknowledge that it's not really about me, you know. I mean the opening, the whole opening of the song is, oh, what a gift is to be noticed, but it's nothing to do with me. You've got to wonder if there's a reason to believe it's a lifetime of learning to Paint By Numbers and watching colors run.” - Harry about ‘Paint by Numbers’ on Q

HSNews

179,234 просмотров • 6 месяцев назад