Inteligência artificial e a matemática

A linguagem matemática é um dos mais precisos linguagens desenvolvidos na história da humanidade, por isso a noção de verdade e falsa na matemática tem divisões claras e rigorosas , mesmo que em muitos casos poucas pessoas conseguem entender estas verdades e falsas e divisões entre elas. E mesmo que pareçam que elas não têm nenhuma manifestação na natureza. Por esta mesma razão, as empresas de IA vêm investindo na inclusão de linguagem e raciocínio matemático nos seus produtos, para ganhar nesta corrida acelerada de quem pode produzir a melhor IA. Uma IA deve ser muito boa, se ela consegue solucionar um problema de matemática que consumiu vida de monte de matemáticos. Pois se uma IA faz isso, seu preço na bolsa de valores aumenta.

As IA 's agora respondem de maneira surpreendente as perguntas mais complicadas da matemática. Agora elas querem ir além da fronteira da matemática já conhecida.

A primeira questão é: para que precisamos que os IA 's produzam novas matemáticas? Para responder isso temos que ver a matemática pra que serve: Do meu ponto de vista a matemática faz parte da evolução do cérebro do ser humano. Em cada geração de seres humanos vai ter pessoas que vão querer explorar os limites do pensamento abstrato, os lugares mais obscuros do nosso próprio cérebro. Nós temos que fazer matemática, pois o nosso cérebro cada vez está sendo mais complexo, gosta dos desafios além dos limites e assim vai.

Outro aspecto de descobrir novas matemáticas e ciência em geral, é a questão do imenso prazer que a descoberta traz. As tesouras escondidas no nosso próprio cérebro que somente podemos descobri-las seguindo o caminho da lógica e do raciocínio.

Chegamos a conclusão que as IA 's criando novas matemáticas, não vão ser úteis para sociedade. Afinal, para que serve que em uma hora, um IA produza 500 páginas de demonstração do último teorema de Fermat, enquanto duzentos anos de trabalho e ilusão de várias gerações de matemáticos, resultou nesta demonstração. Quem vai ter prazer de ler estas 500 páginas? Enquanto a demonstração por ser humana, produziu tanta literatura interessante por si mesma, e não interessante por ter alguma relação com tal teorema.

Por outro lado, os IA 's vieram para eliminar a repetição na atividade humana. Para poupar tempo dos seres humanos. O problema é que a repetição é parte indispensável da matemática, cada vez que a matemática se repete e se descobre, além de produzir o efeito de prazer nos matemáticos, fica mais perto de ser peça clássica, fica mais polida, aparecem outros ramos de pensamento que já fica difícil utilizar a palavra repetição. No processo de repetição o cérebro tenta descobrir além do repetido. Da mesma forma, poupar tempo na hora de escrever uma demonstração matemática, não me parece algo útil. Na atividade lenta de tentar escrever uma demonstração, escolher a notação correta, encontrar palavras corretas, o cérebro trabalha para aperfeiçoar a sua obra. Do outro lado, um adolescente brincando com uma equação Diofantina, ou números primo, ou com raiz quadrado de menos um, não é repetição. É um treino prazeroso do cérebro, para descobertas maiores e territórios não conhecidos da matemática.