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 ferramenta de I.A. de treinamento tem passado seu viés para algoritmos por quase duas décadas

Ilustração da foto. Fonte: Tetiana Lazunova / Getty Images Noite após noite, Fien de Meulder sentou-se na frente de seu computador Linux sinalizando nomes de pessoas, lugares e organizações em frases retiradas de artigos de notícias da Reuters. De Meulder e seu colega, Erik Tjong Kim Sang, trabalharam com tecnologia da linguagem na Universidade de …

O Deep Learning ajudará os futuros Mars Rovers a ir mais longe, mais rápido e fazer mais ciência

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 …

A interação mecânica quântica de dois cristais de tempo foi experimentalmente demonstrada

O cilindro do recipiente de amostra de vidro de quartzo é preenchido parcialmente com superfluido 3He-B, deixando uma superfície livre do superfluido aproximadamente 3 mm acima do centro do sistema de bobina circundante. O espaço acima da superfície livre é o vácuo devido ao desaparecimento da pressão de vapor de He em temperaturas abaixo de …

O uso de reconhecimento facial pela polícia agora é ilegal no Reino Unido?

Uma câmera de reconhecimento facial da polícia em Cardiff, País de Gales Matthew Horwood / Getty Images O Tribunal de Recurso do Reino Unido chegou por unanimidade a uma decisão contra o sistema de reconhecimento facial usado pela Polícia do Sul do País de Gales. O julgamento, que chamou o uso de reconhecimento automático de …

O que são os geoglifos milenares destruídos por trator na Amazônia acreana

Imagem aérea de 2009 mostra uma das 818 estruturas do tipo mapeadas na Amazônia. Muitos desses geoglifos já foram afetados por construção de estradas, plantações e pastagens. Esta semana, o paleontólogo Alceu Ranzi percebeu e denunciou ao Iphan e ao Ministério Público Federal danos em um dos maiores já encontrados, no Acre. Primeiro, a pá …

Mandetta ignorou parecer de entidade médica a favor da cloroquina

Mandetta não acatou recomendação de entidade médica | Foto: Marcos Corrêa/PR Documento encaminhado pela Sociedade Brasileira de Cancerologia ao Ministério da Saúde recomendava uso do medicamento em caráter excepcional Quando esteve à frente do Ministério da Saúde, o ex-ministro Luiz Henrique Mandetta ignorou uma manifestação da Sociedade Brasileira de Cancerologia (SBC), uma das mais respeitadas …

Há um ‘deserto’ no meio do Pacífico. Aqui está o que vive lá

(MPI Marine Microbiology/YouTube) No centro do Pacífico Sul, há um lugar tão longe da terra quanto qualquer um na Terra poderia esperar obter. O oceano é diferente lá. Essas águas distantes estão no coração do Gyre do Pacífico Sul, cujo centro abriga o ‘pólo oceânico de inacessibilidade’: o extremo mais remoto do oceano, conhecido como …

Elon Musk se gaba de que Tesla está ‘muito perto’ do nível 5 em veículo autônomo

“Estou extremamente confiante de que o nível 5 ou autonomia essencialmente completa acontecerá e acho que acontecerá muito rapidamente”. Por anos, nos foi prometido um futuro próximo, no qual os carros dirigem a si mesmos e a um motorista humano – enquanto seus ocupantes navegam pelo Twitter ou navegam pela Netflix em uma cabine aconchegante …