Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

🚨 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 Aufrufe • vor 8 Monaten •via X (Twitter)

34 Kommentare

Profilbild von Math, Inc.
Math, Inc.vor 8 Monaten

Watch the full conversation on YouTube:

Profilbild von Cris Parilo
Cris Parilovor 8 Monaten

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

Profilbild von DULA
DULAvor 8 Monaten

@jessemhan @jdlichtman The Riemann Hypothesis last breath! 🪦

Profilbild von Jeycosmos ⚔️
Jeycosmos ⚔️vor 8 Monaten

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

Profilbild von Jin Woo
Jin Woovor 8 Monaten

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

Profilbild von Zachary.ETH
Zachary.ETHvor 8 Monaten

@jessemhan @jdlichtman wild shift

Profilbild von Prateek Joshi
Prateek Joshivor 8 Monaten

@jessemhan @jdlichtman This is phenomenal.

Profilbild von 0xHarding
0xHardingvor 8 Monaten

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

Profilbild von Nora🌸
Nora🌸vor 8 Monaten

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

Profilbild von Morgan | Alpha Hunter
Morgan | Alpha Huntervor 8 Monaten

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

Profilbild von 0xPiquis.ETH
0xPiquis.ETHvor 8 Monaten

@jessemhan @jdlichtman math is scaling

Profilbild von 0xww
0xwwvor 8 Monaten

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

Profilbild von Karyn
Karynvor 8 Monaten

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

Profilbild von Dac vu
Dac vuvor 8 Monaten

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

Profilbild von 0xLenx
0xLenxvor 8 Monaten

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

Profilbild von Readlee NFTKING
Readlee NFTKINGvor 8 Monaten

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

Profilbild von Ares
Aresvor 8 Monaten

@jessemhan @jdlichtman proofs go liquid

Profilbild von Kevin
Kevinvor 8 Monaten

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

Profilbild von xdiep4474.eth
xdiep4474.ethvor 8 Monaten

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

Profilbild von 0xww
0xwwvor 8 Monaten

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

Profilbild von René
Renévor 8 Monaten

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

Profilbild von Karyn
Karynvor 8 Monaten

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

Profilbild von Dina
Dinavor 8 Monaten

@jessemhan @jdlichtman proofs bout to get a glow up

Profilbild von Nhung🐰
Nhung🐰vor 8 Monaten

@jessemhan @jdlichtman mathematician++ incoming

Profilbild von 0xPanda0x
0xPanda0xvor 8 Monaten

@jessemhan @jdlichtman Proofs gonna hit different now

Profilbild von Karyn
Karynvor 8 Monaten

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

Profilbild von DragonFi🛡
DragonFi🛡vor 8 Monaten

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

Profilbild von WilcosX.eth
WilcosX.ethvor 8 Monaten

@jessemhan @jdlichtman math codebase era incoming

Profilbild von Be-my-friend
Be-my-friendvor 8 Monaten

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

Profilbild von 0xww
0xwwvor 8 Monaten

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

Profilbild von Keng
Kengvor 8 Monaten

@jessemhan @jdlichtman math inc is secretly based

Profilbild von Duc Crypto
Duc Cryptovor 8 Monaten

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

Profilbild von nany.eth
nany.ethvor 8 Monaten

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

Profilbild von James skinner
James skinnervor 8 Monaten

@jessemhan @jdlichtman 흥미롭네요ㅎ

Ähnliche Videos

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 Aufrufe • vor 4 Monaten

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 Aufrufe • vor 1 Monat

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 Aufrufe • vor 4 Monaten