IA e Matemática: Finalmente tive um pouco de tempo livre para começar minha primeira tentativa de usar IA — ChatGPT Pro — para um antigo problema de matemática que deixei de lado há mais de uma década. Estou meio enferrujado com os detalhes, mas a IA não é. Já estou bastante impressionado com o progresso, apontei minha conjectura e ela começou a analisá-la, fazendo experimentos numéricos, depois deduzindo conjecturas a partir delas, testando um pouco mais a fundo, e assim por diante. Ainda não quero revelar exatamente a pergunta em que estou trabalhando, nem o que isso me ajudou a encontrar até agora. E eu mesmo estou um pouco enferrujado, já que não trabalho em problemas de matemática há bastante tempo. Mas consigo entender que, se eu fosse professor de matemática em tempo integral, essa ferramenta teria sido inestimável. Aqueles de vocês que fazem pesquisa em matemática para viver — o quanto acham a IA útil no seu trabalho? Já te ajudou a resolver um dos seus Grandes Problemas?