Estamos diante de um ponto de virada histórico em relação aos avanços da inteligência artificial. Os novos modelos agora são capazes de resolver problemas de matemática de nível de pós-graduação e competições internacionais. Portanto, a tecnologia que uma vez chamou a atenção por “alucinar” em cálculos simples, agora subiu de nível.
IA que resolve problemas de alto nível
O engenheiro Neel Somani resolveu testar o novo modelo da OpenAI e descobriu que ele resolveu um problema matemático complexo após racionar por 15 minutos. Nesse sentido, a solução foi verificada e formalizada com uso da ferramenta Harmonic, confirmando que o resultado estava correto.
Surpresa nos avanços
Com esse resultado, pode-se dizer que a IA começou a sair da fase de “prever a próxima palavra” para a de “raciocínio lógico estruturado”. No caso do experimento, o modelo citou axiomas e teoremas avançados, além de encontrar referências relevantes. Mas, a surpresa mesmo não está nisso.
