IA e Matemática: Finalmente tive um pouco de tempo livre para começar minha primeira tentativa de usar IA -- ChatGPT Pro -- para um velho problema de matemática que deixei de lado há mais de uma década. Estou um pouco enferrujado nos pormenores, mas a IA não está. Já estou bastante impressionado com o progresso, apontei minha conjectura e ela começou a desmembrá-la, fazendo experimentos numéricos, deduzindo conjecturas a partir deles, testando-as um pouco mais, e assim por diante. Ainda não quero revelar a pergunta exata em que estou trabalhando, nem o que ela me ajudou a encontrar até agora. E eu mesmo estou um pouco enferrujado, pois não trabalhei em problemas de matemática há bastante tempo. Mas posso ver como, se eu fosse um 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 -- quão útil vocês acham que a IA é no seu trabalho? Já ajudou vocês a resolver um dos seus Grandes Problemas?