IA para o Matemático em Atividade

Description

IA para o Matemático em Atividade é um workshop do ICMS de três dias em [Edimburgo](https://www.createwith.com/cities/edinburgh), que ocorrerá de 14 a 16 de dezembro de 2026 no Bayes Centre. Ele examinará como a IA está mudando a pesquisa matemática, desde a prova automatizada de teoremas e formalização até a geração de conjecturas e a análise de grandes conjuntos de dados matemáticos. ## Matemática encontra inteligência artificial Modelos de fundação recentes produziram sistemas poderosos para o raciocínio matemático, enquanto o aprendizado de máquina está revelando estruturas anteriormente ocultas em dados matemáticos, incluindo fenômenos como murmurações de curvas elípticas. Este workshop cria um ambiente focado em que pesquisadores acadêmicos e da indústria podem avaliar esses avanços, demonstrar tecnologias emergentes e discutir onde os métodos atuais ainda são insuficientes. O programa explorará áreas incluindo: - Prova de teoremas e raciocínio matemático assistido por IA - Formalização automatizada usando assistentes de prova como Lean - Geração de conjecturas suportada por IA - Aprendizado de máquina para grandes conjuntos de dados matemáticos - Ferramentas para descoberta científica, incluindo o AlphaEvolve da DeepMind e o Axolver e Axplorer da Axiom Maths - As oportunidades e limitações dos sistemas de IA atuais para a matemática ## Palestras e grupos de trabalho colaborativos Além de palestras convidadas, os participantes participarão de grupos de trabalho especializados abordando desafios técnicos e projetos colaborativos. Essas sessões têm a intenção de ajudar os participantes a desenvolver novas abordagens, identificar problemas compartilhados e iniciar pesquisas conjuntas, e não apenas observar demonstrações. A mistura de apresentações e trabalho em grupo focado torna este um evento particularmente relevante para pessoas que estão ativamente investigando como a IA pode contribuir para a prática matemática. O workshop é destinado a pesquisadores e praticantes que trabalham nas áreas de **matemática, ciência da computação e indústria**. Sua ênfase em desafios técnicos, assistentes de prova e colaboração em pesquisa significa que é mais adequado para um público especializado ou em nível de pesquisa, em vez de para aqueles que buscam uma introdução geral à IA. ## Organizadores científicos… [Registre-se para este evento](https://icms.ac.uk/activities/workshop/ai-workingmathematician)