Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

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

farairesearch's profile picture

FAR.AI

16,373 subscribers

870,853 Aufrufe • vor 1 Jahr •via X (Twitter)

BildungWissenschaft & TechnologieNachrichten & Politik
LIVE

Anya Rossi• Live Now

Private livecam show

4 Kommentare

Profilbild von FAR.AI
FAR.AIvor 1 Jahr

Follow us for AI safety insights And watch the full video

Profilbild von Joe Dakwa
Joe Dakwavor 1 Jahr

🚨 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

Profilbild von Agus 🔎 🔸
Agus 🔎 🔸vor 1 Jahr

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

Profilbild von Jack Wheeler
Jack Wheelervor 1 Jahr

@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

Ähnliche Videos

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

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 Aufrufe • vor 1 Jahr

Why did Royco get multiple audits and formal verification? We sat down with Armen from Certora to break it down. Certora completed a comprehensive audit and formal verification engagement on Royco Dawn, further fortifying its security stack. Watch it now.
31:11

Why did Royco get multiple audits and formal verification? We sat down with Armen from Certora to break it down. Certora completed a comprehensive audit and formal verification engagement on Royco Dawn, further fortifying its security stack. Watch it now.

Royco

10,756 Aufrufe • vor 1 Monat

Aether using elements to solve practical problems
0:31

Aether using elements to solve practical problems

Poke

17,948 Aufrufe • vor 1 Jahr

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+.
0:23

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 Aufrufe • vor 7 Monaten

“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
7:28

“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 Aufrufe • vor 7 Monaten

.@Naval: work with people who just solve problems without being asked to solve problems
1:16

.@Naval: work with people who just solve problems without being asked to solve problems

Vala Afshar

12,514 Aufrufe • vor 3 Tagen

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

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 Aufrufe • vor 2 Jahren

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.
1:58

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 Aufrufe • vor 4 Monaten

"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:
0:51

"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 Aufrufe • vor 1 Jahr

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.
0:28

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 Aufrufe • vor 1 Jahr

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
1:22

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 Aufrufe • vor 1 Monat

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."
8:57

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 Aufrufe • vor 7 Monaten

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.
2:33

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,573 Aufrufe • vor 3 Monaten

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

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

BALA

143,656 Aufrufe • vor 11 Monaten

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.
2:03

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 Aufrufe • vor 2 Jahren

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!
1:12

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 Aufrufe • vor 1 Jahr

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.
1:24

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 Aufrufe • vor 9 Monaten

How to apply for SNAPCHAT verification!
4:03

How to apply for SNAPCHAT verification!

areyouAgod?

19,825 Aufrufe • vor 4 Monaten

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

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

Fitness Hub2.0

36,038 Aufrufe • vor 5 Monaten