14 artigos
O artigo propõe um modelo de resolução de problemas matemáticos como um ciclo de atualização de crenças, distinguindo entre conceitos implícitos e explícitos, e argumenta que a criação de conceitos explícitos é o passo fundamental da descoberta matemática, uma capacidade que os sistemas de IA atuais ainda não possuem.
Este artigo descreve a experiência do Congresso de Matemática de Moscou para estudantes do ensino médio, demonstrando como projetos de pesquisa focados no processo de aprendizado, e não na novidade científica, podem introduzir naturalmente os alunos às etapas da investigação acadêmica, incluindo revisão por pares e reconhecimento.
Este artigo descreve um novo método de Monte Carlo para estimar o valor de através do lançamento de moedas, fundamentado em identidades de séries de números de Catalan que, embora presentes implicitamente na literatura de teoria das probabilidades, ganham aqui uma interpretação inédita para .
Estas notas de curso oferecem uma introdução às provas matemáticas para estudantes universitários que transitam do cálculo computacional para a matemática abstrata, cobrindo tópicos fundamentais como lógica, técnicas de prova, indução, conjuntos e cardinalidade, com diversos exemplos e exercícios resolvidos.
Este artigo, motivado pela iniciativa mundial de 12 de maio para celebrar e inspirar mulheres na matemática, descreve a origem e os eventos do projeto, destacando as contribuições pioneiras de matemáticas notáveis como Maryam Mirzakhani, Hipácia, Sofia Kovalevskaya, Emmy Noether, Karen Uhlenbeck e Ingrid Daubechies.
Este artigo apresenta um catálogo abrangente de identidades de séries de Lambert, focando nas suas propriedades formais e generalizações combinatórias para enumerar funções multiplicativas na teoria dos números, além de fornecer tabelas de casos especiais e novas conexões com funções de partição.
Este artigo estabelece relações entre invariantes de quase mergulhos de grafos no plano, conecta essas relações à homologia do produto deletado de um grafo, constrói exemplos que realizam certos valores desses invariantes e apresenta conceitos de topologia algébrica e geométrica de forma acessível a não especialistas, incluindo conjecturas e problemas em aberto.
Este trabalho apresenta e avalia um sistema de busca semântica em escala para 9,2 milhões de teoremas matemáticos extraídos de fontes como o arXiv, demonstrando que a recuperação específica de teoremas, e não apenas de artigos inteiros, é viável e eficaz ao utilizar descrições em linguagem natural e modelos de linguagem avançados.
Este artigo apresenta uma tradução para o inglês e a digitalização do trabalho original de 1889 de Sophie Kowalevski, publicado em francês na *Acta Mathematica*, que descreve a solução para o problema da rotação de um corpo rígido em torno de um ponto fixo, conhecida como o Topo de Kovalevskaya.
O artigo defende que o princípio da permanência de Peacock não foi invalidado pelas álgebras não comutativas de Hamilton, mas deve ser compreendido como uma estratégia conservadora que permite exceções quando os motivos para violar as leis de raciocínio superam os motivos para preservá-las, uma abordagem que Hamilton seguiu ao desenvolver o cálculo quaterniônico.
Este artigo investiga aproximações precisas de discos hiperbólicos, elípticos e parabólicos no modelo de Beltrami-Cayley-Klein, analisando sua proximidade com faixas de meia distância e refinando essas aproximações em termos de área e circunferência.
O artigo apresenta o "Demônio de Blackwell", uma entidade teórica que, ao explorar inhomogeneidades em um sistema estatisticamente homogêneo, consegue prever a direção de uma caminhada aleatória com probabilidade superior a 1/2, sem violar a aleatoriedade intrínseca do lançamento de uma moeda justa, desde que esta esteja inserida em um ambiente complexo.
Este artigo apresenta um novo sistema multiagente para descoberta matemática computacional que, ao simular a interação entre experimentação, provas e contraexemplos, consegue autonomamente recuperar o conceito de homologia a partir de dados poliedrais, demonstrando que a otimização de processos locais pode gerar noções alinhadas de interesse matemático.
Este ensaio convida os matemáticos a acompanharem o avanço da inteligência artificial, a refletirem sobre como ela transformará a prática matemática e a responderem adequadamente aos desafios e oportunidades que surgem com a capacidade da IA de provar teoremas de nível de pesquisa.