Загрузка видео...

Не удалось загрузить видео

На главную

“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 просмотров • 1 год назад •via X (Twitter)

ОбразованиеНаука и технологииНовости и политика
LIVE

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...
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 просмотров • 1 год назад

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 просмотров • 1 месяц назад

Aether using elements to solve practical problems
0:31

Aether using elements to solve practical problems

Poke

17,948 просмотров • 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+.
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 просмотров • 7 месяцев назад

“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 просмотров • 7 месяцев назад

.@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 просмотров • 9 дней назад

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 просмотров • 2 лет назад

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 просмотров • 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:
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 просмотров • 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.
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 просмотров • 1 год назад

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 просмотров • 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."
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 просмотров • 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.
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 просмотров • 3 месяцев назад

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,663 просмотров • 11 месяцев назад

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 просмотров • 2 лет назад

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 просмотров • 1 год назад

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 просмотров • 9 месяцев назад

How to apply for SNAPCHAT verification!
4:03

How to apply for SNAPCHAT verification!

areyouAgod?

19,825 просмотров • 5 месяцев назад

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 просмотров • 5 месяцев назад