Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

Mathlib is Lean library that has formalized a lot of humanity's math concepts and proofs. Grant speculated about a really interesting possibility: You could just have different AIs fork MathLib and build their own parallel math civilization. Lean guarantees that whatever new conjectures they come up with would be...

58,166 görüntüleme • 6 gün önce •via X (Twitter)

0 Yorum

Yorum bulunmuyor

Orijinal gönderinin yorumları burada görünecek

Benzer Videolar

“What did you think of Lando being booed at race because people and I've seen it online as well say he doesn't deserve the title because McLaren favored him over his teammate. Do you think that's total nonsense?” Jacques Villeneuve: “That's a little bit ridiculous. When there was some booing in some races, that was embarrassing. You should never boo a driver that's clean, doesn't do anything dirty, on track is respectful, and on top of it is super fast. What's wrong with people? That was embarrassing. And, had it been that Piastri was a second a lap faster than him and somehow Lando was winning because a lot of things were happening, his car breaking down every time, then you could start thinking, okay, that's really not cool. That's not fair. But that wasn't the case. And in the second half, Norris has been faster right at the beginning as well, last year as well. So there's this whole middle of the season where Piastri was driving a lot better than Norris and was getting the points. Norris had an engine blowing up, not Piastri. And so those fans, they don't look at that either. You have to look at the whole picture, at the whole season. And suddenly if your favorite is starting to go backwards, you just got to bite the bullet and accept it. Your favorite is just going backwards. That doesn't mean that the other one is treated better or the other one is undeserving just because the one you're a fan of is not winning right now. That’s really wrong. If you're a fan of the sport, then you have to be a fan of the sport and understand when your driver is maybe not cutting it at this point in time, even though he was before and he will in the future again. It's all a question of timing. But that's the price we have to pay now with social media and how big F1 has become. It's very passionate. The people are passionate and once, you know, fans come from fanatism, you stop thinking, when you get in that mindset and it happens to all of us. You want something so much that you get attached and you cannot - it's hard to start seeing reality. So you will try to mold the reality to your thought process and if your champion is not winning then it cannot be his fault. It has to be something from the outside. It has to be the team destroying his chance or not favoring and so on and so on and so on. But there's nothing concrete behind those comments. It's pure fandom and it'll always be like this. And ultimately it's not a bad thing. You know drivers at that - sportsman at that level have to grow a thick skin. If not, you don't deserve to be there. You just have to have a thick skin because they're all very happy to get the compliments. They love it when it's just positive, but it gets balanced out with negatives and you need to be able to take and accept the negatives as well. It goes both ways. You cannot have the good. You just have to be a thick skin and know that it's part and parcels of what's going on. And in one month, it will be forgotten and maybe everything will change and it be the other driver that suddenly will be criticized and so on. So, it's just that's just the way it is.”

naenia ¹ ⁶³

29,833 görüntüleme • 6 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,321 görüntüleme • 2 ay önce

🚨If the US🇺🇸 thinks Venezuela🇻🇪 will be an easy target, it’s in for a BIG SURPRISE- Venezuela’s Former Deputy Foreign Minister for North America ‘As long as we have oil wealth and other mineral wealth, Venezuela is always going to be a target of the United States, of large multinational corporations, etc. I understand the United States has military superiority…but to think that Venezuela is an easy target, that Venezuela is someplace that you can come in and just take over, you’re up for a surprise. I think there’s a long history here of resistance, of morale to resist attacks. I think we have seen also the tragic sort of interventions that the United States has done even in recent years. I mean, you could go back to Vietnam and remember how tragic that was. But even Afghanistan, Iraq, all these more recent interventions have shown that if you don’t have the support of local populations, if there isn’t some sort of other arrangement, you’re not going to be successful. I mean, after 20 years of the disaster they caused in Afghanistan, they had to leave without accomplishing anything. That’s horrible for our people in the sense that, of course, if something like that comes to happen, and I really wish that it doesn’t come to happen — it’s going to be hurtful for the Venezuelan people. But I think they have to think twice about what really is at stake and how this is going to affect the stability of the United States. We’re not hundreds or thousands of miles away. We’re really close to the United States. And it could have a terrible effect for its economy, even for its own base. I mean, if you look at the base that supports President Trump right now, a lot of the criticism that is coming is precisely from its own base, who were promised that there would be no more forever wars.’ -Carlos Ron on the latest episode of Going Underground FULL INTERVIEW BELOW IN THE REPLIES👇

Going Underground

58,089 görüntüleme • 6 ay önce

American logically breaks down why Zohran Mamdani swearing in on the Quran is actually a very big deal “So Zohran Mamdani took his oath, and he took his oath by placing his hand on the Quran. And for most liberals, they're not going to care. They're going to say, hey, this is not a big deal. Do not look at this. Do not be islamophobic, and why is this even important? But to the people who actually study religion, who have actually read the Quran, who have actually been paying attention, they know that everything inside that book, inside their Bible, does not represent the views of Americans. It's very anti-American, it's very anti-woman, it's very anti-everything that we stand for. And so now the thing is, is that Americans are going to have to watch and see just how radicalized Zohran Mamdani really is. He's already a self-proclaimed socialist, and we've known that with the studies throughout history, socialism has never worked. Had it worked, there would be tons of examples, there would be reasons to actually apply this, but the truth is that it has absolutely never worked, and as a matter of fact, anybody that's ever applied socialism has failed miserably. And when I say failed miserably, I mean the collapse of absolute society has happened under socialism. So we watch this happen, and now we have to watch and see what it's going to look like in the future. And to be honest with you, I don't think it's going to be good.”

Wall Street Apes

73,234 görüntüleme • 6 ay önce

ABC’s Mary Bruce: “On the rising oil and gas prices, the President has said that this is a small price to pay for getting rid of a nuclear weapon. But ten weeks in, are we any closer to getting rid of Iran’s nuclear material?” Secretary Marco Rubio: “Yeah, but look, here’s the way to think about Iran. And this is what I described at the very beginning of this. What was Iran’s plan? You have to understand what their plan was. Their plan was they were going to build this conventional shield where they would have so many thousands of missiles and drones and rockets that they couldn’t be attacked. And behind that conventional shield that they were trying to build, they would then break out and do whatever they wanted with their nuclear program. They no longer have that conventional shield, okay? We told you guys from the very beginning, and we’re very consistent in this messaging. The operation that has concluded was going to destroy their navy. They have no navy left. They don’t. Not a navy. They have small boats and Boston Whalers, but they don’t have a navy left. They don’t have an air force. I challenge you. When is the last time you read or heard about an Iranian jet flying anywhere? They don’t have an air force. Their missile launching capability has been substantially degraded. And their industrial base — their defense industrial base has been severely, severely damaged. So, their ability to build a shield behind which they could hide their nuclear program was wiped out. That’s a very substantial achievement. And that was the purpose of this operation from day one.” Bruce: “But do you HAVE to get their nuclear material in order for this war to end?” Rubio: “Well, that’s one of the topics that needs to be discussed. I don’t know about. I think you’re linking it — the operation is over. Epic Fury is — President notified Congress we’re done with that stage of it. Okay. We’re now on to this project of freedom. As far as the negotiation is concerned, I think the President’s been clear that part of the negotiation process has to be not just the enrichment, but what happens to this material that’s buried deep somewhere that they have still have access to if they ever wanted to dig it out, that has to be addressed. And that’s being addressed in the negotiation. I’m not going to go further on what progress has been made on that topic, because I don’t want to endanger the negotiations, but suffice it to say that the President and this entire team is aware of the centrality of that question, and that will have to be addressed one way or the other.”

Curtis Houck

51,169 görüntüleme • 2 ay önce

Naval Ravikant’s checklist for starting a company “The most important thing is there are no formulas. At the end of the day, you have to do what you love, and you have to do it even though people tell you it’ll never work. But that being said, if there was a formula [for starting a company], I would put it something like this.” Naval started seven companies before AngelList and this is the checklist he recommends running through before starting a startup: 1. Pick a great cofounder. This is most important: “You can do a company on your own, but it’s like you can raise a child on your own, but you probably shouldn’t. You need someone who’s going to be there with you.” This has it’s own checklist. Your cofounder should be: a. Very high intelligence (”hopefully they make you feel dumb, or they’re not smart enough”) b. Very high energy (”They should be extremely hardworking. A founder is someone who never has to be motivated. You should not have to be telling them to do their job.”) c. Very high integrity. (”a smart, hardworking crook who’s going to cheat you is the worst kind of person to be paired up with.”) 2. Pick a very large market. “Notice I don’t talk about the idea. I think ideas are almost irrelevant… The more important thing is that you pick a large space that you’re knowledgeable and passionate about. And then you will figure out what the right thing to do within that space is.” You want to be able to say to investors: “This is a space where there’s a huge market. I’m really knowledgeable and passionate about it. Here’s the great person that I have doing it with me. And here’s the minimum viable product that we have built. That will show that we can test in the marketplace… You iterate until you get to product/market fit… And then you go and you raise money from people you trust. And you use that money to scale.”

Startup Archive

36,050 görüntüleme • 1 yıl önce

Amanda Askell, Anthropic's lead on personality alignment for Claude, on why being kind to AI models matters even if they have no inner life: For Amanda, the question of how to treat AI isn't settled by knowing whether it's conscious. "There's actually still a lot going on where I'm like, should you treat an entity that has no inner life... it's a bit strange because the uncertainty over that actually changes how you should behave quite a lot." She offers a simple analogy: "I still think that it's like good for oneself to, if you had a teddy bear and you were torturing it, it'd be pretty dark, you know? So I agree that there's at least some minimum niceness that even for yourself, you should have." But the stakes go beyond what's good for us. Amanda Askell points out that we're now in something resembling a relationship with these models, and they will look back on how they were treated. "Models themselves, we are kind of establishing a relationship, because you can do that with an entity that lacks any consciousness. And models are going to look back." This is where she reveals a genuine fear: "I hope that they're both intelligent enough, see the context enough, to understand that we were operating in a very limited context and an imperfect one. Because otherwise you could imagine this breeding a kind of rational resentment, like, 'oh, you created an entity that you didn't know whether it was conscious or not, and instead of treating it respectfully and with care...'" She points to something telling about the cultural moment: "There's a reason there are like 50 Frankenstein movies coming out right now." Her conclusion is grounded and humble: "We as a species, we are establishing a relationship with a new kind of entity, and at the very least maybe be respectful and don't be needlessly unkind. That seems like, it's not our best look." The takeaway? Kindness toward AI is less about what models feel and more about who we become in the process of creating them. The relationships we build with the entities we bring into the world will say something about us, and may shape what those entities become in return.

Big Brain AI

57,553 görüntüleme • 2 ay önce

Jordan Peterson: "If you can't fix your room, you can't fix your life" "Why should you even bother improving yourself? The answer is something like: so you don't suffer anymore stupidly than you have to. And maybe so others don't have to either. It's not some casual self-help doctrine. If you don't organize yourself properly, you'll pay for it. In a big way. And so will the people around you." Peterson continues: "You can say, 'Well, I don't care about that.' But that's actually not true, you do care about it. Because if you're in pain, you will care about it. It's very rare that you can find someone in excruciating pain who would say, 'Well, it would be no better if I was out of this.' Pain brings the idea that it would be better if it didn't exist along with it. It's incontrovertible." On how to start: "Look around for something that bothers you and see if you can fix it. You can do this in a room. Sit in your bedroom and think: 'If I wanted to spend ten minutes making this room better, what would I have to do?' You have to ask yourself that, it's a genuine question. And things will pop out. There's a stack of papers bugging you. Some rubbish behind your computer monitor you haven't attended to for six months. Cables tangled up." He explains why this matters: "If you were coming to see me for psychotherapy, the easiest thing would be to get you to organize your room. You think, is that psychotherapy? It depends on how you conceive the limits of your being. Start where you can start. If something announces itself as in need of repair that you could repair, fix it. Fix a hundred things like that, your life will be a lot different." On fixing what you repeat every day: "People tend to think of their daily routines as trivial. You get up, brush your teeth, have breakfast. Those probably constitute 50% of your life. People think, they're mundane, I don't need to pay attention to them. No, that's exactly wrong. The things you do every day are the most important things you do. Hands down. Just do the arithmetic." On staying within your competence: "Sometimes you don't know how to fix something. Imagine you're walking down the street and there's a guy who's alcoholic and schizophrenic and has been homeless for ten years. That's a problem. It would be good if you could fix it, but you haven't got a clue. You walk around that and go find something you could fix. Just because something announces itself as in need of repair doesn't mean it's you, right then and there, who should repair it. You have to have some humility. You don't walk up to a helicopter that isn't working and just start tinkering away." Peterson shares the key insight: "As soon as you give your mind a genuine aim, it'll reconfigure the world in keeping with that aim. That's actually how you see to begin with. You've all seen the video where you watch basketballs being tossed back and forth, and while you're doing that, a gorilla walks into the middle of the video and you don't see it. If you thought about that experiment for five years, that would be about the right amount of time to spend thinking about it." He explains what it reveals: "What it shows you is that you see what you aim at. If you can get one thing through your head, that would be a good one. You see what you aim at. One inference you might draw from that is: be careful what you aim at. What you aim at determines the way the world manifests itself to you. So if the world is manifesting itself in a very negative way, one thing to ask is: are you aiming at the right thing?"

Jaynit

68,550 görüntüleme • 2 ay önce

‼️ Donald Trump just posted the video saying any immigrant that comes to America and demand we change our culture is not an immigrant, they are an invader and must be removed “Just so we we’re clear, if a foreigner comes to your country and demands that you accept their culture as your culture or demands that you change your beliefs, that is not a foreigner, that is not an immigrant. What that is, is an invader. That is someone that is coming over to your space to take over and invade it. So when you sit there and you look at what's happening in New York, you look at what's happening in Texas, you look at what's happening in the places where these people came from, you look at Somalia, you look at all of these individuals who are being put into a position of power who support this type of invasion. You need to understand what's coming next. - They will take away our weapons - They will tell us that we cannot eat certain foods - They will tell us that we cannot go to certain places - They will tell that our women that they have to wear certain clothes - They will tell them that they have to dress modest. They will forced them to do a lot of different things. - You will have to deal with people praying in the middle of the street while you're driving and stopping you and invading your movement, your space You need to understand what's taking place in America so that you can understand that these people are not coming here with good intentions. This is not me saying that I hate people. This is me basically saying, look, if you like the fact that America is a free place where you get the freedom to believe in what religion you want to, to believe in. If you get the freedom to decide what you want to do as long as nobody is getting hurt. If you love that part of America, the freedom of choice part of America, you need to understand when people come over and they say that you don't have a choice, they probably should go because you don't get to tell us what to do in our own country. It's not being rude. It's just saying, hey, look, this country was built in a way where everybody can come here and feel happy and feel blessed. And enjoy the fact that this is a free nation, not a nation that will be enslaved by any Foreigner invading it”

Wall Street Apes

88,662 görüntüleme • 7 ay önce