正在加载视频...

视频加载失败

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

“It's important to avoid over-claiming about how much [formal verification] could solve our problems.” Zac Hatfield-Dodds explains why we need to balance verification methods with practical safety work.

FAR.AI

16,373 subscribers

870,853 次观看 • 1 年前 •via X (Twitter)

教育科学技术新闻政治

Anya Rossi• Live Now

Private livecam show

4 条评论

FAR.AI 的头像

FAR.AI1 年前

Follow us for AI safety insights And watch the full video

Joe Dakwa 的头像

Joe Dakwa1 年前

🚨 Launching a blockchain project? 🚀 Don’t risk exploits from blackhats due to unaudited smart contracts. 🔐 Get affordable, High-Quality Smart Contract Audits trusted by top projects like Coinbase & Optimism. 👉 Book a FREE consultation

Agus 🔎 🔸 的头像

Agus 🔎 🔸1 年前

@dodds_zac @Gato_el_simon, for balance, since I had sent you the safeguarding AI proposal

Jack Wheeler 的头像

Jack Wheeler1 年前

@dodds_zac This is of course not an issue in most applications but the moment you deploy your “models” in safety critical systems, you need formal verification

相关视频

Redbelly is built for scale, with collaborative consensus and formal verification to back it up. Our CGO, Tim Bass explains why that matters...

Redbelly is built for scale, with collaborative consensus and formal verification to back it up. Our CGO, Tim Bass explains why that matters...

Redbelly Network

26,757 次观看 • 1 年前

Learn how to make your app at least 30% faster by fixing the "slow first start" problem with Baseline Profiles → This video explains why apps are slow on first launch (waiting for JIT) and how Baseline Profiles solve this by providing important classes/methods to the runtime at install time. We cover how to generate them with Jetpack Macrobenchmark, verify the gains, and how they work on Android 7+.

Learn how to make your app at least 30% faster by fixing the "slow first start" problem with Baseline Profiles → This video explains why apps are slow on first launch (waiting for JIT) and how Baseline Profiles solve this by providing important classes/methods to the runtime at install time. We cover how to generate them with Jetpack Macrobenchmark, verify the gains, and how they work on Android 7+.

Android Developers

11,495 次观看 • 7 个月前

California faces very real challenges like the displacement of workers from AI and soaring costs. We can't just talk about Trump to avoid putting forward our own plan to solve our biggest problems. We need a bold economic agenda that protects workers and puts families first.

California faces very real challenges like the displacement of workers from AI and soaring costs. We can't just talk about Trump to avoid putting forward our own plan to solve our biggest problems. We need a bold economic agenda that protects workers and puts families first.

Katie Porter

10,961 次观看 • 4 个月前

"It's really important to me for our entire community, movement and voice, that we get the A.I. protections we need to continue to be able to do this work that we all love so much." - #SagAftraMember Ashly Burch Learn more about the #VideoGameStrike:

"It's really important to me for our entire community, movement and voice, that we get the A.I. protections we need to continue to be able to do this work that we all love so much." - #SagAftraMember Ashly Burch Learn more about the #VideoGameStrike:

SAG-AFTRA

88,430 次观看 • 1 年前

Mason Greenwood, with another banger goal 🚀 , will never understand the reason why we have to sell him because some fan base pretends to be us when he's all we need to solve our goal scoring problems.

Mason Greenwood, with another banger goal 🚀 , will never understand the reason why we have to sell him because some fan base pretends to be us when he's all we need to solve our goal scoring problems.

The football boy

63,542 次观看 • 1 年前

Nick Fuentes asks why there aren't any Bills condemning Charlie Kirk's Assassination or the Gaza War. But there's one disavowing Anti Semitism. "Just solve problems for Americans. I'm willing to work with Democrats. We need to Rethink how we do things & realign the Politics."

Nick Fuentes asks why there aren't any Bills condemning Charlie Kirk's Assassination or the Gaza War. But there's one disavowing Anti Semitism. "Just solve problems for Americans. I'm willing to work with Democrats. We need to Rethink how we do things & realign the Politics."

KaizerRev

143,649 次观看 • 7 个月前

If we're going to have AIs that fully automate math, they not only need to solve existing problems. We also need to teach them how to recognize what problem to solve next. Human mathematicians have heuristic models that they use to decide what to work on, like, “There’s something important going on with the randomness of primes - let’s codify some patterns we see into specific conjectures.” But these aren’t currently precise enough for RL.

If we're going to have AIs that fully automate math, they not only need to solve existing problems. We also need to teach them how to recognize what problem to solve next. Human mathematicians have heuristic models that they use to decide what to work on, like, “There’s something important going on with the randomness of primes - let’s codify some patterns we see into specific conjectures.” But these aren’t currently precise enough for RL.

Dwarkesh Patel

54,583 次观看 • 3 个月前

Over the past few days, Alberta has had some close calls with our power grid. It's vital for all of us to understand why we have been having issues and how Ottawa’s 2035 timeline could exacerbate problems for Albertans, and why we remain committed to reaching a carbon neutral target by 2050.

Over the past few days, Alberta has had some close calls with our power grid. It's vital for all of us to understand why we have been having issues and how Ottawa’s 2035 timeline could exacerbate problems for Albertans, and why we remain committed to reaching a carbon neutral target by 2050.

Danielle Smith

159,061 次观看 • 2 年前

Elon Musk: If we solve longevity, the people in power would always remain in power. “Death does play an important role. I think you really could evolve humans to live much longer, most creatures to live much longer. But over time, Evolution has found that it's better for organisms to have a finite life. That death brings renewal, essentially. And I think we do need to be cautious about trying to solve longevity in a live-forever type sense, because I think our society, our culture would ossify and the people in power would always remain in power.” Interview with Jordan Peterson, July 22, 2024

Elon Musk: If we solve longevity, the people in power would always remain in power. “Death does play an important role. I think you really could evolve humans to live much longer, most creatures to live much longer. But over time, Evolution has found that it's better for organisms to have a finite life. That death brings renewal, essentially. And I think we do need to be cautious about trying to solve longevity in a live-forever type sense, because I think our society, our culture would ossify and the people in power would always remain in power.” Interview with Jordan Peterson, July 22, 2024

ELON CLIPS

448,644 次观看 • 1 年前

Today we launch our Global Annual Review 2023. This year’s review looks at how our global network of over 360,000 people across 151 countries helped to build trust in society and solve important problems over the last year. Read it in full here: #PwCGAR23 #TheNewEquation

Today we launch our Global Annual Review 2023. This year’s review looks at how our global network of over 360,000 people across 151 countries helped to build trust in society and solve important problems over the last year. Read it in full here: #PwCGAR23 #TheNewEquation

PwC

13,312 次观看 • 2 年前

Sharing our work at NeurIPS Conference on reasoning with EBMs! We learn an EBM over simple subproblems and combine EBMs at test-time to solve complex reasoning problems (3-SAT, graph coloring, crosswords). Generalizes well to complex 3-SAT / graph coloring/ N-queens problems.

Sharing our work at NeurIPS Conference on reasoning with EBMs! We learn an EBM over simple subproblems and combine EBMs at test-time to solve complex reasoning problems (3-SAT, graph coloring, crosswords). Generalizes well to complex 3-SAT / graph coloring/ N-queens problems.

Yilun Du

47,660 次观看 • 8 个月前

What are the new weapons emerging now in today’s wars? Are they ethical? Using augmented reality, our colleague Nicola explains how some autonomous weapons work and why we need to act now to keep human control over life and death decisions.

What are the new weapons emerging now in today’s wars? Are they ethical? Using augmented reality, our colleague Nicola explains how some autonomous weapons work and why we need to act now to keep human control over life and death decisions.

ICRC

14,259 次观看 • 3 年前

ELON: TO SOLVE FULL SELF-DRIVING, YOU NEED TO SOLVE REAL-WORLD AI "What are the road networks designed to work with? They're designed to work with a biological neural net, our brains, and with vision, our eyes. And so, in order to make it work with computers, you basically need to solve real-world AI and vision. We need cameras and silicon neural nets in order to have self-driving work for a system that was designed for eyes and biological neural nets. I guess when you put it that way, it's quite obvious that the only way to solve full self-driving is to solve real-world AI and sophisticated vision." Source: Elon Musk TED Interview, April 2022

ELON: TO SOLVE FULL SELF-DRIVING, YOU NEED TO SOLVE REAL-WORLD AI "What are the road networks designed to work with? They're designed to work with a biological neural net, our brains, and with vision, our eyes. And so, in order to make it work with computers, you basically need to solve real-world AI and vision. We need cameras and silicon neural nets in order to have self-driving work for a system that was designed for eyes and biological neural nets. I guess when you put it that way, it's quite obvious that the only way to solve full self-driving is to solve real-world AI and sophisticated vision." Source: Elon Musk TED Interview, April 2022

Mario Nawfal

56,936 次观看 • 1 年前

'It's impossible to do business with us' - War Minister Hegseth explained why arms production in the US is being delayed. - You mentioned changes in policy that the Pentagon has implemented to speed up and simplify production. What are the main problems? Why are we seeing delays? - To a large extent, these delays are our own fault. First and foremost, it's our way of doing business. It was impossible to work with us. We behaved like a bad customer who changes his mind every year about what he needs and what he doesn't need. We need to get our act together. - SK

'It's impossible to do business with us' - War Minister Hegseth explained why arms production in the US is being delayed. - You mentioned changes in policy that the Pentagon has implemented to speed up and simplify production. What are the main problems? Why are we seeing delays? - To a large extent, these delays are our own fault. First and foremost, it's our way of doing business. It was impossible to work with us. We behaved like a bad customer who changes his mind every year about what he needs and what he doesn't need. We need to get our act together. - SK

Zlatti71

14,665 次观看 • 5 个月前

Blockchain data quality used to be about consensus. Multiple providers, same output, trust the agreement. That's evolving. The future is verification: cryptographic proof of data from the block level up, with a full audit trail built in. BK joined the Crypto's Toughest Data Problems (and how to solve them) panel discussion at the Blockworks Digital Asset Summit to talk about where that's heading.

Blockchain data quality used to be about consensus. Multiple providers, same output, trust the agreement. That's evolving. The future is verification: cryptographic proof of data from the block level up, with a full audit trail built in. BK joined the Crypto's Toughest Data Problems (and how to solve them) panel discussion at the Blockworks Digital Asset Summit to talk about where that's heading.

The Graph

14,884 次观看 • 3 个月前

How are you #ConnectingForGood in your community? 🤔 This #MandelaMonth we chat with our Vodacom #RedHearts regional champions about their volunteer work and how they successfully balance family, work and service to the community. ❣️

How are you #ConnectingForGood in your community? 🤔 This #MandelaMonth we chat with our Vodacom #RedHearts regional champions about their volunteer work and how they successfully balance family, work and service to the community. ❣️

Vodacom

171,259 次观看 • 3 年前