O matemático Terence Tao, vencedor da Medalha Fields, publicou em julho de 2026 uma transcrição de sua colaboração com um modelo de linguagem para testar um contraexemplo à conjectura de Jacobian.
O matemático Terence Tao, vencedor da Medalha Fields, publicou em julho de 2026 uma transcrição de sua colaboração com um modelo de linguagem para testar um contraexemplo à conjectura de Jacobian. A discussão no Hacker News acumulou 1.122 pontos e 635 comentários, dividindo especialistas sobre o significado do episódio. O episódio expõe como um dos maiores matemáticos vivos usa IA não como ferramenta passiva, mas como interlocutor técnico ativo.
O conteúdo técnico mostra Tao definindo mapas polinomiais Φ e Ψ entre variedades algébricas, provando isomorfismo explícito e pedindo ao modelo que verifique composições de Jacobiano constante. O comentarista lukebuehler observou: "É infinitamente fascinante ler a transcrição de um especialista que realmente sabe como ir direto ao ponto. Mostra o quanto você pode potencialmente extrair desses modelos. Também fico surpreso ao ver que até Terrence Tao parece usá-lo de forma que se assemelha, na progressão, a como eu uso LLMs na minha área de especialização: perguntas curtas e pontuais que vão direto ao jargão e à maquinaria do campo e direcionam o LLM com força." Jun8 completou: "O fascinante é que o LLM não está agindo como uma ferramenta aqui, mas muito mais como um colega."
Para housu, o episódio serve como "ótimo RP, pelo menos. Mesmo que você não entenda os detalhes, é interessante poder espiar uma conversa técnica que um matemático de classe mundial está tendo sobre seu trabalho com um 'colega'. É também a demonstração mais clara que vi da visão dos pesquisadores de IA sobre um futuro com copilotos verdadeiramente inteligentes em campos supertécnicos." O comentarista axus destacou um trecho em que Tao pede: "Ativei o Pro. Você pode continuar a procurar uma explicação geométrica potencial do milagre X_3 ~ A3 que evite coordenadas ou outras construções não motivadas?" A pergunta expõe o nível de direção que o matemático exerce sobre o modelo.
Os lados concordam que o padrão de uso — perguntas curtas, vocabulário denso, correção constante de rumo — distingue colaboração de consulta. O comentarista the_af notou que o próprio modelo identifica Tao sem pistas: "Se você der dicas adicionais, 'isso foi compartilhado na internet', 'é alguém disposto a trabalhar com IA', ele adivinha Terence Tao como primeira escolha." A capacidade do sistema de reconhecer o interlocutor pelo estilo técnico reforça a tese de que a interação opera em registro profissional genuíno.
O que permanece em aberto é a consequência prática. vb-8448 perguntou: "Quais são as consequências desse tipo de 'descobertas'? É algo 'revolucionário' ou apenas mais um tijolo que se acumula até que algo realmente 'revolucionário' aconteça?" A discussão não responde. Para quem decide adotar IA em pesquisa de alto nível, o caso mostra que o gargalo não é a capacidade do modelo, mas a habilidade do especialista em dirigi-lo — e que a validação matemática final continua humana.
