Ontem, ultrapassei um limiar interessante, que penso que muitos outros matemáticos também têm ultrapassado recentemente. No meio de tentar 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 baseava-se em um lema que eu não conhecia (a afirmação estava um pouco fora das minhas áreas principais), então, embora esteja confiante de que teria chegado lá no final, 2/3

o tempo que teria levado 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 breve, mas agradável era em que nossa pesquisa é grandemente acelerada pela AI, mas a AI ainda precisa de nós. 3/3

PS Caso alguém esteja preocupado que usou um lema que eu não conhecia, verifiquei que o lema não era uma alucinação.