正在加载视频...

视频加载失败

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

This is solid proof that failure is never the end 💪 Also, proof that some weights are not too heavy for you, you just need a better approach 🫵

iJosh🃏

93,418 subscribers

30,174 次观看 • 3 个月前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

This Primus video is proof that you can never really change who you are…🤣

This Primus video is proof that you can never really change who you are…🤣

Punt Road

117,978 次观看 • 3 个月前

This video is a proof that “some” women are really not that smart 😩🙆🏽‍♂️

This video is a proof that “some” women are really not that smart 😩🙆🏽‍♂️

ᴅᴀ ʟᴀɢᴏsʙᴏʏ

12,536 次观看 • 8 个月前

This is all the proof you need that NO ONE IS BORN RACIST. ❤️

This is all the proof you need that NO ONE IS BORN RACIST. ❤️

Positive Side of 𝕏

4,453,529 次观看 • 2 年前

This is proof that you need to respect your elders

This is proof that you need to respect your elders

🇳🇬🇳🇬 𝖞𝖔𝖚𝖓𝖌💲𝖒𝖔𝖓𝖊𝖞 🇨🇦🇨🇦

690,448 次观看 • 1 年前

Never trust anyone...This is the proof for that🤧🤧💯💯 Watch till end...

Never trust anyone...This is the proof for that🤧🤧💯💯 Watch till end...

𝗦𝗮𝗸𝘁𝗵𝗶𝘃𝗲𝗹

91,662 次观看 • 5 个月前

👕”surviving is proof that you are strong” 🎸”every scar is proof I tried” it has never been more over……

👕”surviving is proof that you are strong” 🎸”every scar is proof I tried” it has never been more over……

honoka🐰🍮

60,000 次观看 • 4 个月前

Proof that DRUGS are Not good for you!

Proof that DRUGS are Not good for you!

Amukelani Moyani

90,097 次观看 • 9 个月前

.Frank Fleming is proof that with determination and consistency, no matter where you started, you can make a change for the better. This is his Journey.

.Frank Fleming is proof that with determination and consistency, no matter where you started, you can make a change for the better. This is his Journey.

NOBULL

657,252 次观看 • 5 个月前

This movie is proof that you should never assume a relationship or marriage is sweet just because it appears so on the outside 🎥

This movie is proof that you should never assume a relationship or marriage is sweet just because it appears so on the outside 🎥

Henzzy

8,376,389 次观看 • 1 个月前

Proof that the 'impossible' is just a boundary you haven't crossed yet :)

Proof that the 'impossible' is just a boundary you haven't crossed yet :)

Wisdom

62,955 次观看 • 5 个月前

Here’s the proof that I’m not great at just what you think... also the best driver 😉 Would you like a ride?

Here’s the proof that I’m not great at just what you think... also the best driver 😉 Would you like a ride?

Yasminabradyclub💗

62,368 次观看 • 8 个月前

Not giving up is proof to God that you are worthy of success

Not giving up is proof to God that you are worthy of success

The Real World

23,722 次观看 • 1 年前

This is what they’ve been hiding from you, the American people. Do you need any more proof that January 6 was NOT an insurrection?

This is what they’ve been hiding from you, the American people. Do you need any more proof that January 6 was NOT an insurrection?

Congressman Troy E. Nehls

37,096 次观看 • 2 年前

The ending of Kikujiro is proof that Joe Hisaishi can make you feel nostalgic for a childhood you never even had

The ending of Kikujiro is proof that Joe Hisaishi can make you feel nostalgic for a childhood you never even had

✧˖

44,893 次观看 • 5 个月前

Elon Musk is proof that you should never give up.

Elon Musk is proof that you should never give up.

Taya Bass

17,172 次观看 • 3 个月前

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

If anyone needs any more proof that Russia is a terrorist state that must be stopped—just watch this video with sound on. The screaming of the kids who are running for shelter will tell you all you need to know.

If anyone needs any more proof that Russia is a terrorist state that must be stopped—just watch this video with sound on. The screaming of the kids who are running for shelter will tell you all you need to know.

UNITED24 Media

1,404,359 次观看 • 3 年前

Proof #2 that ON is a better song for the World Cup

Proof #2 that ON is a better song for the World Cup

hinata

198,755 次观看 • 4 个月前