Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

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

139,137 görüntüleme • 10 ay önce •via X (Twitter)

12 Yorum

Clint J. profil fotoğrafı
Clint J.10 ay önce

Vibe Math is real

Simon Frieder profil fotoğrafı
Simon Frieder10 ay önce

1/ Having a strong Lean engine is definitely a nice thing to have -- but there are limits to what is natural to do in Lean (or any formal systems). I'm reminded here of the nice example that Patrick Massot mentioned in his talk about the concept of ... limits in calculus [1] :) If you want to formalize all possible variants of each type of limit at a point of a function in a "naive" way, there are many definitions to state: of the limit at a point with the limit equaling a number, of the limit at a point with that point remove equaling infinity, etc. If you count them, it seems to amount to actually 256 (!) definitions (see the 45m30s mark of the video). There are two ways out of this: 1) In practice, no one gets taught all 256 definitions but rather one teaches the "abstract generator" behind the definition. 2) One abstract all these away by using ultrafilters, and then just teaches limits in the setting of ultrafilters. Both ways then also help to reduce the sprawling number of plumbing lemmas (like composition of two lemmas) that one otherwise would help to prove about limits (which are 4096 according to the video, which seems plausible). Both solutions are possible execute in Lean, but are awkward to perform. [1]

Ned Whitman profil fotoğrafı
Ned Whitman10 ay önce

Math is about discovery, and when I feel like I’m connecting topics from sources that are related that in itself feels like discovery

chier profil fotoğrafı
chier10 ay önce

He hasn't gotten over yet that his work isn't on par with Grigori Perelman's or Andrew Wiles. And it will never be. He is the clearest example that the IMO selects for moronic savants, not genius. He forgot about Godel, apparently.

chier profil fotoğrafı
chier10 ay önce

Send this to Terry Tao . He might learn something.

Richa Sharma profil fotoğrafı
Richa Sharma10 ay önce

Truly exciting! Congrats guys.

Aeminium profil fotoğrafı
Aeminium10 ay önce

@danielarpm

Startup25! profil fotoğrafı
Startup25!10 ay önce

don't we need to hire bright minds though?

David Richards profil fotoğrafı
David Richards10 ay önce

i dun like this guy, but y

OBIdient profil fotoğrafı
OBIdient10 ay önce

What then happens when we leave all the mathematics to computers to do?

DULA profil fotoğrafı
DULA10 ay önce

Finally, the greatest minds are beginning to realize the true potential of AI in math.

Everything is Art profil fotoğrafı
Everything is Art10 ay önce

Engineers see this as the way. The better the probability model, the better the prediction. Isn't that a major purpose of mathematics? ( I said a major purpose not the only purpose.)

Benzer Videolar

"Every team wants to win a championship, but not every team wants to do the things required for a championship. And here's the thing: it's easy to be an average team. It doesn't require a lot. It's less adversity to be average in the world. The consequences of being average aren't easy. We end up wearing them. There's strain and struggle that comes with that too. The standard is just lower to be an average team. To be a championship team, to be champion, to be a championship team member here . . . I'm not gonna lie to you . . . I'm going to tell you the truth. It is harder. It is. The question is: Is it worth it? Some people say, "Oh it's not harder work." Yes it is. It's harder work. You can pursue comfort or you can pursue excellence. If we pursue comfort, we gotta give up some excellence. But if we pursue excellence, then we're just going to face more adversity. Everyone who's ever accomplished something excellence has had to overcome it. We are here today for a reason. Two reasons actually. Reason #1 is let's make sure that we identify and realize the opportunities that are in front of us. Reason #2 is let's make sure that we are preparing for the adversity that those opportunities require. And just understand: every single time you lever up your opportunities and you identify, "Oh there's something more I can do, more I can achieve. I can get better. I can earn more. I can do this." It's going to be matched with the adversity that comes with it. I want to make sure we are prepared for both of those, so that we're not chasing big opportunities and then getting mad when things start getting harder along the way. Is that fair? Does that make sense?"

Brian Kight

125,742 görüntüleme • 3 yıl önce

Incredible last few minutes of the Rick Rubin / Adam Neumann interview. I got chills listening to this. --- Adam: We'll connected to this week's portion. We all have something that we're slaves to. We all have an addiction to anger, to ego, to power, whatever it is, idol worship that we have. We all have an Egypt. We all need to leave that Egypt, come out of it. When we come out of that Egypt, we all face a Red Sea. When we see that Red Sea, we all need to have the courage to walk into it so far that we drown. Only when we're willing to drown will the Red Sea be split and we'll go to our next level. We then go to our next level. We see the Red Sea split. Suddenly we're like, oh, everything is okay. And we forget. The moment we forget, we step into the desert. We all have to walk through our version of desert. That desert is between us, us, and God. No one else. The only decision we get to have is how long we're going to journey through that desert. Are we going to journey for 14 days like the children of Israel were supposed to? Or are we going to journey for 40 years because we're not learning our lesson? Our choice is not, are we going to get into the desert or not? It's how long will we be in. And once we go out of that desert, we all have our version of the promised land. And if we have the courage to look inside, see our own correction, our own limitation, look at it clearly now and say, I see you, and I'm going to get over it. I'm going to learn. I'm going to grow. I'm going to understand that life is not about falling down. It's about how I'm going to get up. I'm going to fall 1,000 times so I can get up 1,001 times. And in that last time when I get up and I'm actually ready to go to my next level, I'm going to wish for you, for me, and for everybody who are listening — please, may we have the courage to go to our next level because we know that the promised land is waiting right after it. And may we not be afraid when the whole world is saying this or that about us. Who cares? It's about what you think, what your wife thinks, what your kids think, and what the universe thinks. Rick: Amen. Adam: Amen. Thank you. Thank you, Hashem. Thank you.

Jared Zoneraich

155,255 görüntüleme • 7 ay önce