Estamos a assistir a um verdadeiro ponto de viragem na evolução da tecnologia. Os novos modelos de linguagem deixaram de ser meros geradores de texto propensos a "alucinações" em cálculos básicos para se tornarem ferramentas capazes de solucionar problemas matemáticos de nível de pós-graduação e de competições internacionais. Esta mudança de paradigma sugere que a era do raciocínio lógico estruturado por máquinas chegou definitivamente.
Raciocínio profundo em vez de alucinação
Para testar as capacidades desta nova geração, o engenheiro Neel Somani colocou à prova o mais recente modelo da OpenAI. O desafio consistia num problema matemático complexo, e o comportamento da IA foi surpreendente: o sistema dedicou 15 minutos a "raciocinar" sobre a questão antes de apresentar uma resposta. A solução final foi posteriormente verificada e formalizada através da ferramenta Harmonic, confirmando a sua total correção, conforme reportado pela TechCrunch.
Este episódio demonstra que a IA está a abandonar a fase de apenas "prever a próxima palavra" para entrar num domínio de lógica sequencial. Durante o processo, o modelo não só citou axiomas e teoremas avançados, como também localizou referências relevantes para suportar a sua tese.
GPT 5.2 supera matemáticos de Harvard
O aspeto mais impressionante deste avanço não é apenas a correção do resultado, mas a qualidade da solução apresentada. A tecnologia foi capaz de produzir uma resposta diferente e mais completa do que a que tinha sido elaborada por um matemático de Harvard em 2013.
Isto indica que modelos como o GPT 5.2 já possuem a capacidade de lidar com raciocínio matemático profundo, ultrapassando barreiras que anteriormente se pensava serem exclusivas da cognição humana especializada.
Uma nova era para os Problemas de Erdős
O matemático Terence Teo tem monitorizado este progresso, identificando casos em que a inteligência artificial realiza avanços de forma autónoma. Os famosos problemas de Erdős tornaram-se um campo de testes privilegiado para esta tecnologia.
Os dados são reveladores: desde o Natal, mais de 15 destes problemas passaram do estado de "abertos" para "resolvidos". De forma notável, 11 dessas soluções contaram com a participação direta de modelos de linguagem. A comunidade científica tem recebido estas ferramentas com entusiasmo, com matemáticos de renome a validar e a integrar estas soluções nos seus trabalhos, sinalizando uma mudança cultural importante na matemática moderna.
Nenhum comentário
Seja o primeiro!