IA resolve problema de Erdős que intrigou matemáticos
Um sistema de IA resolveu com sucesso um problema matemático de longa data proposto por Paul Erdős, um dos matemáticos mais prolíficos do século XX. O problema, relacionado à teoria combinatória dos números, resistiu à solução por matemáticos humanos por décadas. Pesquisadores disseram que a IA empregou técnicas inovadoras de reconhecimento de padrões e raciocínio automatizado que diferem fundamentalmente das abordagens humanas, abrindo novos caminhos para a descoberta matemática assistida por máquinas.
Astrônomos encontram par recorde de buracos negros
Em um desenvolvimento separado, astrônomos podem ter identificado um par recorde de buracos negros, potencialmente o sistema binário de buracos negros mais massivo já observado. A descoberta, feita usando dados de múltiplos observatórios, pode fornecer novos insights sobre como buracos negros supermassivos se formam e se fundem. Se confirmado, o par desafiaria modelos existentes de crescimento de buracos negros e evolução galáctica.
Nova espécie de urso-cão antigo identificada na Espanha
Paleontólogos na Espanha identificaram uma nova espécie de urso-cão antigo, um grupo agora extinto de mamíferos carnívoros que vagou pela Europa milhões de anos atrás. A espécie, nomeada Paludocyon moyasolai, foi descoberta em depósitos fósseis na Espanha e aumenta a compreensão da diversidade de predadores mamíferos que viveram antes do surgimento das linhagens modernas de ursos e cães.