Loading video...

Video Failed to Load

There was a problem loading this video. This could be due to a temporary network issue or the video might be unavailable.

“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 views • 1 year ago •via X (Twitter)

Education Science & Technology News & Politics

Anya Rossi• Live Now

Private livecam show

4 Comments

FAR.AI1 year ago

Follow us for AI safety insights And watch the full video

Joe Dakwa1 year ago

🚨 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 🔎 🔸1 year ago

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

Jack Wheeler1 year ago

@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

Related Videos

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,748 views • 1 year ago

Aether using elements to solve practical problems

Aether using elements to solve practical problems

Poke

17,948 views • 1 year ago

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,492 views • 7 months ago

“We have other problems that adults need to solve with our resources there rather than asking babies to solve this problem for us.” - Evelyn Griffin, MD

“We have other problems that adults need to solve with our resources there rather than asking babies to solve this problem for us.” - Evelyn Griffin, MD

Aaron Siri

33,203 views • 6 months ago

We have serious problems to solve — and we need serious people to solve them. Republicans need to get their act together.

We have serious problems to solve — and we need serious people to solve them. Republicans need to get their act together.

Adam Schiff

64,662 views • 2 years ago

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 views • 3 months ago

"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 views • 1 year ago

We made offline transaction verification tool for Safe.eth Secure every important transaction with clear signing via ERC-7730. Fully offline verification. Zero network calls

We made offline transaction verification tool for Safe.eth Secure every important transaction with clear signing via ERC-7730. Fully offline verification. Zero network calls

th0rgal

18,646 views • 1 month ago

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 views • 1 year ago

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 views • 6 months ago

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,495 views • 2 months ago

Kanglus claim they developed Gurugram 😂 Legit question : Why are only broken Bengali speaking Muslims running away to avoid verification?

Kanglus claim they developed Gurugram 😂 Legit question : Why are only broken Bengali speaking Muslims running away to avoid verification?

BALA

143,656 views • 10 months ago

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,055 views • 2 years ago

Thomas Massie tells Theo Von how we could solve 50% of the problems in Congress He explains it in a way that anyone should be able to understand. Must watch!

Thomas Massie tells Theo Von how we could solve 50% of the problems in Congress He explains it in a way that anyone should be able to understand. Must watch!

SwampyUniparty

27,251 views • 11 months ago

How many illegal migrants lie about their age and claim to be kids? The Home Office used to publish that data, but since Labour came to power, they’ve hidden it. And Labour scrapped scientific methods of age verification. We deserve the truth.

How many illegal migrants lie about their age and claim to be kids? The Home Office used to publish that data, but since Labour came to power, they’ve hidden it. And Labour scrapped scientific methods of age verification. We deserve the truth.

Matt Vickers MP

178,032 views • 9 months ago

How to apply for SNAPCHAT verification!

How to apply for SNAPCHAT verification!

areyouAgod?

19,825 views • 4 months ago

Practical life hacks to solve everyday little problems in one simple trick.

Practical life hacks to solve everyday little problems in one simple trick.

Fitness Hub2.0

36,038 views • 5 months ago

Neuroscience explains why we need to watch our habits ‼️‼️

Neuroscience explains why we need to watch our habits ‼️‼️

The Sigma Mindset

26,607 views • 6 months ago