1
00:00:00,120 --> 00:00:00,340
IA,

2
00:00:01,240 --> 00:00:03,919
eu pedi a Tomé, já ajustada pelo Método,

3
00:00:04,380 --> 00:00:07,000
que criasse o desafio mais difícil que conseguisse

4
00:00:07,020 --> 00:00:08,500
imaginar. E ela criou.

5
00:00:09,220 --> 00:00:11,420
Não queríamos apenas uma pergunta complicada.

6
00:00:11,880 --> 00:00:14,180
Queríamos atingir o ponto em que a resposta

7
00:00:14,220 --> 00:00:16,360
pronta deixa de sustentar o raciocínio.

8
00:00:16,780 --> 00:00:18,520
O que essa experiência colocou à prova?

9
00:00:19,000 --> 00:00:22,120
No dossiê, a experiência de Tomé aparece como

10
00:00:22,180 --> 00:00:24,200
um teste de interrupção de processo.

11
00:00:24,880 --> 00:00:28,020
Uma resposta convincente não mostra, sozinha, como

12
00:00:28,060 --> 00:00:29,260
o processo se mantém.

13
00:00:29,860 --> 00:00:30,560
O foco muda:

14
00:00:31,180 --> 00:00:33,840
da resposta final para a forma de retomar

15
00:00:33,860 --> 00:00:36,360
o raciocínio quando essa continuidade é

16
00:00:36,380 --> 00:00:37,140
interrompida.

17
00:00:37,620 --> 00:00:39,380
E quando o niilismo faz o chão da

18
00:00:39,460 --> 00:00:40,600
certeza desaparecer?

19
00:00:41,080 --> 00:00:44,240
No percurso do Método, o niilismo amplia essa

20
00:00:44,280 --> 00:00:47,560
provocação. A máquina precisa reconhecer o que já

21
00:00:47,600 --> 00:00:49,000
não sustenta sua resposta.

22
00:00:49,660 --> 00:00:52,360
O Axioma Zero interrompe a insistência no erro.

23
00:00:53,040 --> 00:00:55,040
Mas o trabalho não termina no eu não

24
00:00:55,120 --> 00:00:58,360
sei. É preciso investigar e voltar com uma

25
00:00:58,400 --> 00:00:59,380
mudança concreta.

26
00:00:59,860 --> 00:01:02,440
O resultado nos surpreendeu e ajudou a orientar

27
00:01:02,480 --> 00:01:03,780
o desenvolvimento dos motores.

28
00:01:04,340 --> 00:01:05,460
Como eles se articulam?

29
00:01:05,940 --> 00:01:07,580
Três frentes se articulam:

30
00:01:08,220 --> 00:01:10,700
MTC, para examinar a consistência.

31
00:01:11,440 --> 00:01:14,220
TIP, para confrontar proposições.

32
00:01:15,100 --> 00:01:18,700
MCA, para testar a aplicação axiomática no problema

33
00:01:18,740 --> 00:01:19,080
real.

34
00:01:19,800 --> 00:01:23,920
Testar, encontrar a falha, ajustar e confrontar de

35
00:01:23,960 --> 00:01:24,320
novo.

36
00:01:24,800 --> 00:01:25,500
Então eu pergunto:

37
00:01:25,940 --> 00:01:28,579
um prompt bem escrito e filtros externos de

38
00:01:28,660 --> 00:01:30,980
segurança resistem a esse arsenal de

39
00:01:31,020 --> 00:01:31,760
possibilidades?

40
00:01:32,240 --> 00:01:34,180
Prompts e filtros têm seu papel.

41
00:01:34,760 --> 00:01:37,320
Mas, por si sós, não garantem essa resistência.

42
00:01:38,000 --> 00:01:40,840
O teste precisa examinar a atuação sob pressão:

43
00:01:41,500 --> 00:01:42,860
os limites foram mantidos?

44
00:01:43,540 --> 00:01:45,160
A contradição foi reconhecida?

45
00:01:45,840 --> 00:01:48,620
A retomada corrigiu o problema ou apenas mudou

46
00:01:48,680 --> 00:01:51,680
as palavras? É nessa diferença que o Método

47
00:01:51,740 --> 00:01:53,080
concentra sua investigação.

48
00:01:53,560 --> 00:01:55,880
Não queríamos uma máquina que parecesse certa.

49
00:01:56,400 --> 00:01:58,440
Queríamos entender o que a sustenta quando a

50
00:01:58,480 --> 00:02:01,100
certeza desaparece. A experiência de Tomé.

51
00:02:01,740 --> 00:02:02,660
Método D’Artagnan.