OpenAI está resolvendo problemas matemáticos de décadas. Uma startup israelense segue um caminho diferente

A inteligência artificial está fazendo incursões cada vez mais ambiciosas na matemática, mas nem todas as empresas que buscam esse objetivo estão seguindo o mesmo caminho.

A OpenAI revelou soluções para 377 problemas matemáticos que permaneciam sem solução, abrangendo áreas que incluem álgebra, teoria dos números, ciência da computação, lógica matemática e topologia. Alguns dos resultados envolvem três dos sete Problemas do Prêmio Millennium, enquanto um dos problemas aparentemente resolvidos é a hipótese de Riemann, uma famosa questão relativa à distribuição de números primos.

A escala do esforço é impressionante. Mas talvez o mais interessante seja o que vem a seguir.

Enquanto a OpenAI está demonstrando o que um poderoso modelo de IA de uso geral pode realizar em centenas de problemas matemáticos difíceis, a startup israelense doubleAI está seguindo uma abordagem mais especializada. Seu objetivo é construir sistemas de IA que possam operar como especialistas em matemática e outros campos técnicos, em vez de simplesmente responder a perguntas feitas a eles.

Essa abordagem foi colocada à prova esta semana, quando a doubleAI anunciou que um de seus sistemas havia feito o que descreve como a primeira melhoria em 38 anos em um problema central na teoria extremal dos grafos.