Modelos de IA alcançam avanços em matemática

A OpenAI anunciou nesta semana que seu novo modelo, GPT-6 Astra, gerou novos resultados em problemas matemáticos abertos de longa data. O modelo fez 'progressos substanciais' em questões matemáticas e de ciência da computação teórica de décadas. Anthropic e Google também relataram avanços em matemática impulsionada por IA. A IA está começando a encontrar conexões que podem levar matemáticos e pesquisadores a direções inesperadas. Os pesquisadores estão usando esses modelos de forma informal, como visto com funcionários da Anthropic pedindo ao Claude para 'tentar de verdade' a hipótese de Riemann e 'acreditar em si mesmo' após uma primeira tentativa malsucedida. O Claude elevou o limite relacionado à Riemann após usar 31 milhões de tokens de saída e meio dia coordenando cerca de 60 subagentes. O matemático Terence Tao prevê que seu campo 'passará de uma era de escassez de provas para uma era de abundância de provas'.