Pela primeira vez, cientistas da computação e matemáticos usaram inteligência artificial para ajudar não apenas a provar teoremas matemáticos, mas também a sugerir novas soluções. A inteligência ...

O acervo do museu Getty, em Los Angeles, nos Estados Unidos, contém um retrato do século 17 de Euclides de Alexandria, matemático da Grécia antiga. A imagem o mostra desgrenhado, segurando páginas de ...

Por mais de 2 mil anos, o texto de Euclides foi o paradigma de argumentação e raciocínio matemático. “Euclides começa com ‘definições’ que são quase poéticas”, diz Jeremy Avigad, um lógico da Carnegie ...

A inteligência artificial chegou para ficar na Universidade Federal de Alagoas (Ufal). O Laboratório de Estatística e Ciências de Dados (LED), vinculado ao Instituto de Matemática, vem desenvolvendo ...

Uma dessas figuras é Barbara Grosz, matemática americana que ajudou a moldar o campo da IA conversacional décadas antes do boom atual. Seu trabalho não apenas aproximou humanos e máquinas — redefiniu ...

Google lançou atualização do Gemini 3 Deep Think focado em ciências exatas, com desempenho equivalente à medalha de ouro nas Olimpíadas ...

A estudante americana Kennedy Mays, de 21 anos, demorou um pouco para conseguir enganar um grande modelo de linguagem (LLM), sistema por trás das inteligências artificiais. Mas. depois de um tempo, ...