正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

🚨 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... show more

Math, Inc.

13,586 subscribers

337,383 次观看 • 8 个月前 •via X (Twitter)

教育科学技术

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:

💎 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.

💎 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.

🚨 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

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:

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."

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

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."

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

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

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:

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":

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,

"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.

“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

“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 个月前