o que vamos fazer quando a IA avançada começar a criar invenções geniais e a nossa capacidade de verificar for o gargalo.
não parece seguro simplesmente pedir à mesma IA para verificar. por muitas razões.
📁 Terence Tao, vencedor da Medalha Fields, diz que a IA já pode gerar muitas provas matemáticas.
O verdadeiro gargalo é a verificação.
Criar ideias está a tornar-se barato.
Saber quais são realmente corretas ainda é trabalho humano.