WEBVTT

1
00:00:00.430 --> 00:00:04.968
Billy: I've always been fascinated by the
gap between what's possible and what

2
00:00:04.968 --> 00:00:06.858
we're actually able to do.

3
00:00:06.858 --> 00:00:08.371
Sunlight was always there.

4
00:00:08.371 --> 00:00:12.152
We just needed the technology
to put it to work.

5
00:00:12.152 --> 00:00:17.068
The universe was always there, but we
needed the instruments to see it.

6
00:00:17.068 --> 00:00:20.850
Often, capability arrives before the
infrastructure that makes it useful.

7
00:00:20.850 --> 00:00:24.253
I think we're at one
of those moments again.

8
00:00:24.253 --> 00:00:26.522
Artificial intelligence is becoming extraordinarily capable.

9
00:00:26.522 --> 00:00:28.412
It can write software, reason,

10
00:00:28.412 --> 00:00:32.572
and design things that would take
humans enormous amounts of time.

11
00:00:32.572 --> 00:00:37.866
But writing software and knowing what it
will do are two very different things.

12
00:00:37.866 --> 00:00:43.160
And when software starts controlling something physical,
getting it wrong can have real consequences.

13
00:00:44.070 --> 00:00:48.229
Interviewee A: It's really easy to see that
AI still has many flaws in its logic,

14
00:00:48.229 --> 00:00:51.200
and to completely hand over
these systems is very dangerous.

15
00:00:51.520 --> 00:00:54.689
Interviewee B: The culture's really changed
around our diligence on programming technology,

16
00:00:54.689 --> 00:00:58.491
and so we push code so
quickly and no one reviews it.

17
00:00:58.491 --> 00:01:02.293
So it's about focusing on what
steps can you put in place

18
00:01:02.293 --> 00:01:06.413
to make sure that that code does
what you think it will do.

19
00:01:06.413 --> 00:01:09.265
Symbolia is the paradigm shift
in terms of verification,

20
00:01:09.265 --> 00:01:13.067
and I would love more people
to integrate these sort of products

21
00:01:13.067 --> 00:01:17.820
to help them on the security side so
that we can focus on our creation.

22
00:01:18.600 --> 00:01:23.418
Billy: The next step is to make
this powerful latent intelligence useful, dependable,

23
00:01:23.418 --> 00:01:26.228
and widely available in the real world.

24
00:01:26.228 --> 00:01:30.644
If we get this right, AI
won't just make software cheaper,

25
00:01:30.644 --> 00:01:32.652
it will make progress cheaper.

26
00:01:32.652 --> 00:01:36.667
It will help us build
faster, produce more, waste less,

27
00:01:36.667 --> 00:01:41.886
and get more from the machines and
the infrastructure that we already have.

28
00:01:41.886 --> 00:01:47.507
And as improvements become repeatable, each one
can help make the next one easier.

29
00:01:47.507 --> 00:01:51.120
And that's the future I
want to help build.