Cruzei um limiar interessante ontem, que acho que muitos outros matemáticos também têm cruzado recentemente. No meio da tentativa de provar um resultado, identifiquei uma afirmação que parecia verdadeira e que, se verdadeira, seria útil para mim. 1/3

Em vez de tentar provar, perguntei ao GPT5 sobre isso e, em cerca de 20 segundos, recebi uma prova. A prova se baseou em um lema do qual eu não tinha ouvido falar (a declaração estava um pouco fora das minhas áreas principais), então, embora eu esteja confiante de que teria chegado lá no final, 2/3

O tempo que eu levaria provavelmente teria sido da ordem de magnitude de uma hora (uma estimativa que vem com barras de erro bastante amplas). Portanto, parece que entramos na era breve, mas agradável, em que nossa pesquisa é muito acelerada pela IA, mas a IA ainda precisa de nós. 3/3

PS Caso alguém esteja preocupado com o fato de ter usado um lema do qual eu não tinha ouvido falar, verifiquei se o lema não era uma alucinação.