Quão próximos estão os computadores de automatizar o raciocínio matemático?

Maria Nguyen As ferramentas de IA estão moldando os provadores de teoremas da próxima geração e, com eles, a relação entre matemática e máquina. Na década de 1970, o falecido matemático Paul Cohen, a única pessoa a ganhar uma medalha Fields por trabalho em lógica matemática, supostamente fez uma previsão abrangente que continua a excitar …

Uma teoria além do modelo padrão poderia permitir buracos de minhoca que você realmente pudesse voar

Os buracos de minhoca são um recurso popular na ficção científica, o meio pelo qual as espaçonaves podem realizar viagens mais rápidas do que a luz (FTL) e se mover instantaneamente de um ponto no espaço-tempo para outro. E embora a Teoria Geral da Relatividade proíba a existência de “buracos de minhoca percorríveis”, pesquisas recentes …

Astrônomos emitem relatório sobre o efeito das ‘constelações de satélites’ na astronomia

Em maio de 2019, a SpaceX lançou seu primeiro lote de 60 satélites de comunicação Starlink, projetados para fornecer acesso global à Internet. Em última análise, a SpaceX espera lançar cerca de 12.000 desses satélites e possivelmente mais. Essas constelações de satélites surpreenderam astrônomos e leigos com seu brilho no céu noturno. Agora, os astrônomos …

A verdade sobre o sono criogênico

Imagem das cápsulas criossone do filme “Passageiros”. É possível sonhar nosso caminho para novas estrelas? Em uma das histórias de ficção científica mais sombrias que já li, a tripulação de uma estação espacial se depara com uma nave abandonada com a qual lutam para se comunicar. Ninguém a bordo do antigo navio responde às mensagens …

Nosso planeta perigoso

Ciência insegura Há muito que ainda não sabemos sobre desastres naturais, como exatamente quando um vulcão entrará em erupção. (Cortesia: iStock / Beboy_ltd) “O conforto está no paraíso e nós estamos na Terra”, diz o duque de York em Ricardo II de William Shakespeare, um ponto terrível de filosofia que muitos escritores abordaram. Ellen Prager, …

O dispositivo de imagem ‘menor do mundo’ examina mais de perto as doenças cardíacas

Imagem esquemática de um endoscópio ultrafino impresso em 3D gerando imagens de uma artéria. (Cortesia: Simon Thiele e Jiawen Li) Para diagnosticar doenças e distúrbios com sucesso, os médicos precisam das melhores ferramentas possíveis para ver o interior do corpo humano. Imaginar os espaços mais apertados do corpo sem causar danos, no entanto, pode ser …

Rastreando a origem cósmica de moléculas orgânicas complexas com sua pegada de radiofrequência

Cientistas japoneses encontraram evidências conclusivas da presença de uma molécula orgânica complexa particular nas regiões de nuvens de gás menos densas pela primeira vez. CREDIT Tokyo University of Science A origem da vida na Terra é um tópico que despertou a curiosidade humana, provavelmente antes do início da história registrada. Mas como a matéria orgânica …

O modelo de aprendizado de máquina considera o SARS-COV-2 cada vez mais infeccioso

Crédito CC0: domínio público Um novo modelo de aprendizado de máquina desenvolvido por pesquisadores da Michigan State University sugere que as mutações no genoma do SARS-CoV-2 tornaram o vírus mais infeccioso. O modelo, desenvolvido pelo pesquisador líder Guowei Wei, professor dos departamentos de Matemática e Bioquímica e Biologia Molecular, analisou a genotipagem do SARS-CoV-2 de …