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 …
Continue lendo “Quão próximos estão os computadores de automatizar o raciocínio matemático?”
A Internet das Coisas (IoT) é uma tecnologia que nos ajuda a reimaginar a vida diária, mas a inteligência artificial (IA) é a verdadeira força motriz por trás de todo o potencial da IoT. De suas aplicações mais básicas de rastreamento de nossos níveis de condicionamento físico até seu amplo potencial em setores e planejamento …
Continue lendo “AIoT: Quando a inteligência artificial encontra a Internet das coisas”
Em 9 de agosto de 2020, o rover Curiosity Mars da NASA fotografou um redemoinho de poeira girando pela cratera Gale. O twister está se movendo da esquerda para a direita, na fronteira entre as encostas mais claras e mais escuras. (Crédito da imagem: NASA / JPL-Caltech) O Curiosity nem sempre tem os olhos no …
Continue lendo “Redemoinho de poeira de Marte! O rover Curiosity avista o Red Planet twister (fotos)”
Uma representação artística do orbitador Chandrayaan-2 estudando a superfície da lua. (Imagem: © ISRO) Pode durar mais sete anos, diz ISRO. O orbitador lunar Chandrayaan-2 da Índia terminou um ano e 4.400 viagens ao redor da lua – e a espaçonave está apenas começando, disseram funcionários da agência espacial indiana na quinta-feira (20 de agosto). …
Continue lendo “A missão lunar Chandrayaan-2 da Índia atinge a marca de 1 ano na órbita lunar”
Maquete de engenharia da equipe nacional do veículo de pouso da tripulação no icônico edifício 9 do NASA Johnson Space Center. (Crédito da imagem: Blue Origin / The National Team) Uma equipe privada liderada pela empresa de voos espaciais de Jeff Bezos, Blue Origin, entregou uma maquete de seu módulo de pouso lunar tripulado à …
Continue lendo “A ‘Equipe Nacional’ liderada pela Blue Origin entrega um modelo de sonda lunar para a NASA para testes”
O programa de análise baseada em aprendizado de máquina para sistemas autônomos rover (MAARS) abrange uma variedade de áreas onde a inteligência artificial pode ser útil. A equipe apresentou os resultados do projeto MAARS na IEEE Aerospace Conference em março de 2020. O projeto foi finalista do NASA Software Award. Os robôs de Marte da …
Continue lendo “O Deep Learning ajudará os futuros Mars Rovers a ir mais longe, mais rápido e fazer mais ciência”
A toupeira no fosso após o teste de toupeira livre em junho. A imagem, adquirida no Sol 577, mostra a Toupeira quase toda coberta de areia. Ele também mostra a pegada da concha na frente da Toupeira no lado próximo e saliências e camadas interessantes na ferrugem no lado oposto. A saliência não define necessariamente …
Continue lendo “A Toupeira da InSight voltou!”
Renderização artística do Lunar Reconnaissance Orbiter da NASA. Crédito: Goddard Space Flight Center da NASA Dezenas de vezes na última década, os cientistas da NASA lançaram raios laser em um refletor do tamanho de um livro de bolso a cerca de 385.000 quilômetros de distância da Terra. Eles anunciaram hoje, em colaboração com seus colegas …
Continue lendo “Os raios laser refletidos entre a Terra e a lua impulsionam a ciência”
Este mapa do céu da NASA mostra onde observar a chuva de meteoros Perseidas de 2020, que atinge seu pico antes do amanhecer em 12 de agosto de 2020. (Crédito da imagem: NASA / JPL-Caltech) As Perseidas estão de volta! Esta semana, você pode assistir à chuva de meteoros Perseidas de 2020, uma das favoritas …
Continue lendo “A Chuva de Meteoros Perseida de 2020 atinge o pico esta noite! Veja como assistir ao vivo.”
Uma ilustracao artistica do Perseverance. (NASA / JPL-Caltech) O rover Perseverance Mars da NASA foi lancado de Cabo Canaveral, Florida, em 30 de julho, carregando uma serie de tecnologia de ponta, incluindo equipamento de video de alta definicao e o primeiro helicoptero interplanetario. Muitas das ferramentas sao projetadas como etapas experimentais para a exploracao humana …
Continue lendo “Rover da NASA está levando para Marte um dispositivo semelhante a uma árvore que converte CO2 em oxigênio”