IA e Matemática: Um Choque de Culturas e um Chamado para a Colaboração
A Reunião Conjunta de Matemática de 2025 destacou a crescente interseção entre IA e matemática, revelando uma divisão cultural entre matemáticos acadêmicos e pesquisadores de IA da indústria. Os matemáticos priorizam a compreensão, enquanto os pesquisadores de IA costumam se concentrar nos resultados. Essa diferença se manifesta em abordagens contrastantes em relação à abertura, transparência e à própria natureza da prova. O artigo mergulha na essência da matemática, sua cultura e valores, e explora as aplicações potenciais da IA na gestão da literatura, verificação de teoremas e outras áreas. O autor argumenta que a IA deve aumentar as capacidades matemáticas humanas, não substituir os matemáticos humanos, enfatizando a necessidade de respeito mútuo e colaboração para o avanço do campo.