Ir para o conteúdo

Matemática

Acompanhe as notícias e análises da categoria Matemática no Curious Tech Portal, escritas com base em estudos, universidades e outras fontes primárias.

  • Matemática

    Pesquisadores Disputam com I.A. para Resolver Famoso Problema Matemático

    Pesquisadores correram para publicar um novo artigo de matemática após ouvirem que a inteligência artificial estava prestes a divulgar uma prova da famosa conjectura dos jogos únicas. A evidência consiste em um artigo recém-publicado online e em um anúncio de uma empresa de inteligência artificial.

    Quanta Magazine3 min de leitura

  • Matemática

    Como Barreiras Imaginadas Podem Frear a Pesquisa Matemática

    Um artigo convidado de Raghu Meka sugere que matemáticos frequentemente evitam problemas difíceis devido a suposições não comprovadas sobre o que é impossível. A evidência baseia-se em reflexões pessoais e observações recentes, e não em um estudo científico formal.

    Terence Tao (UCLA)2 min de leitura

  • Matemática

    OpenAI lança provas de IA para centenas de grandes problemas matemáticos

    A OpenAI divulgou 372 resultados produzidos por um modelo interno de IA que, segundo ela, resolvem problemas em aberto há muito tempo na matemática e na ciência da computação teórica. Este resumo vem de um post no blog do cientista da computação Scott Aaronson; só parte dos resultados tem certificado Lean, verificado por computador, e quase nenhuma das provas foi compreendida até agora por especialistas humanos.

    Scott Aaronson (UT Austin)3 min de leitura

  • Matemática

    EPFL abre vaga de pós-doutorado que une verificação formal e IA à análise numérica

    Um texto convidado no blog de Terence Tao anuncia uma vaga de pós-doutorado na EPFL para explorar como a verificação formal de provas com o Lean e ferramentas de IA podem ajudar a análise numérica, a matemática por trás das simulações de computador. É um anúncio de vaga, não um resultado de pesquisa.

    Terence Tao (UCLA)3 min de leitura

  • Matemática

    Notas de aula de Terence Tao explicam a desigualdade maximal de Hardy-Littlewood com várias demonstrações

    O matemático Terence Tao publicou notas de um curso de pós-graduação sobre a desigualdade maximal de Hardy-Littlewood, um resultado básico sobre como se comportam as médias de uma função, com várias demonstrações diferentes e mostrando como ela leva a resultados como o teorema de diferenciação de Lebesgue. São notas de aula sobre matemática já estabelecida, não pesquisa nova.

    Terence Tao (UCLA)3 min de leitura