Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

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

337,383 görüntüleme • 8 ay önce •via X (Twitter)

34 Yorum

Math, Inc. profil fotoğrafı
Math, Inc.8 ay önce

Watch the full conversation on YouTube:

Cris Parilo profil fotoğrafı
Cris Parilo8 ay önce

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

DULA profil fotoğrafı
DULA8 ay önce

@jessemhan @jdlichtman The Riemann Hypothesis last breath! 🪦

Jeycosmos ⚔️ profil fotoğrafı
Jeycosmos ⚔️8 ay önce

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

Jin Woo profil fotoğrafı
Jin Woo8 ay önce

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

Zachary.ETH profil fotoğrafı
Zachary.ETH8 ay önce

@jessemhan @jdlichtman wild shift

Prateek Joshi profil fotoğrafı
Prateek Joshi8 ay önce

@jessemhan @jdlichtman This is phenomenal.

0xHarding profil fotoğrafı
0xHarding8 ay önce

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

Nora🌸 profil fotoğrafı
Nora🌸8 ay önce

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

Morgan | Alpha Hunter profil fotoğrafı
Morgan | Alpha Hunter8 ay önce

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

0xPiquis.ETH profil fotoğrafı
0xPiquis.ETH8 ay önce

@jessemhan @jdlichtman math is scaling

0xww profil fotoğrafı
0xww8 ay önce

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

Karyn profil fotoğrafı
Karyn8 ay önce

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

Dac vu profil fotoğrafı
Dac vu8 ay önce

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

0xLenx profil fotoğrafı
0xLenx8 ay önce

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

Readlee NFTKING profil fotoğrafı
Readlee NFTKING8 ay önce

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

Ares profil fotoğrafı
Ares8 ay önce

@jessemhan @jdlichtman proofs go liquid

Kevin profil fotoğrafı
Kevin8 ay önce

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

xdiep4474.eth profil fotoğrafı
xdiep4474.eth8 ay önce

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

0xww profil fotoğrafı
0xww8 ay önce

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

René profil fotoğrafı
René8 ay önce

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

Karyn profil fotoğrafı
Karyn8 ay önce

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

Dina profil fotoğrafı
Dina8 ay önce

@jessemhan @jdlichtman proofs bout to get a glow up

Nhung🐰 profil fotoğrafı
Nhung🐰8 ay önce

@jessemhan @jdlichtman mathematician++ incoming

0xPanda0x profil fotoğrafı
0xPanda0x8 ay önce

@jessemhan @jdlichtman Proofs gonna hit different now

Karyn profil fotoğrafı
Karyn8 ay önce

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

DragonFi🛡 profil fotoğrafı
DragonFi🛡8 ay önce

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

WilcosX.eth profil fotoğrafı
WilcosX.eth8 ay önce

@jessemhan @jdlichtman math codebase era incoming

Be-my-friend profil fotoğrafı
Be-my-friend8 ay önce

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

0xww profil fotoğrafı
0xww8 ay önce

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

Keng profil fotoğrafı
Keng8 ay önce

@jessemhan @jdlichtman math inc is secretly based

Duc Crypto profil fotoğrafı
Duc Crypto8 ay önce

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

nany.eth profil fotoğrafı
nany.eth8 ay önce

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

James skinner profil fotoğrafı
James skinner8 ay önce

@jessemhan @jdlichtman 흥미롭네요ㅎ

Benzer Videolar

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 görüntüleme • 4 ay önce

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 görüntüleme • 1 ay önce

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 görüntüleme • 4 ay önce