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 …

AIoT: Quando a inteligência artificial encontra a Internet das coisas

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 …

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 …

Aliens: O Horizonte Cosmológico

Concepção artística do universo observável. Imagem de Pablo Carlos Budassi. Uma teoria sombria sobre a existência de vida extraterrestre Pode ser verdade, como disse o poeta Ocean Vuong, que os olhos são as criações mais solitárias. Enquanto eles se deleitam com a cor e a forma do mundo, eles nunca podem tocar nessas coisas. A …

Pesquisa em computador resolve problema de matemática de 90 anos

Olena Shmahalo/Quanta Magazine Ao traduzir a conjectura de Keller em uma busca amigável por um tipo de gráfico, os pesquisadores finalmente resolveram um problema sobre a cobertura de espaços com blocos. Uma equipe de matemáticos finalmente acabou com a conjectura de Keller, mas não resolvendo por conta própria. Em vez disso, eles ensinaram uma frota …

A primeira evidência do alinhamento do spin do vetor de um méson em colisões de íons pesados

Esboço gráfico do momento angular de colisões de íons pesados. O spin 1 K * 0 é representado como um pião. Crédito: Produzido pela Colaboração ALICE para https://journals.aps.org/prl/highlights A colaboração ALICE é um grande grupo de pesquisadores de mais de 100 institutos de física em todo o mundo que se concentra no estudo do plasma …

O que é um cluster globular?

O aglomerado globular M5, visto pelo Telescópio Espacial Hubble. Esta foto foi uma Imagem Astronômica do Dia em junho de 2015. Via HST / NASA / ESA / APOD. Ao contrário dos aglomerados de estrelas abertas – contendo estrelas irmãs, espalhadas pelo disco de nossa galáxia e presumivelmente outras galáxias – os aglomerados globulares são …

O que é um indivíduo? A biologia busca pistas na teoria da informação.

Para reconhecer uma vida extraterrestre estranha e resolver mistérios biológicos neste planeta, os cientistas estão procurando uma definição objetiva para as unidades básicas da vida. Para reconhecer uma vida extraterrestre estranha e resolver mistérios biológicos neste planeta, os cientistas estão procurando uma definição objetiva para as unidades básicas da vida. Mais de meio bilhão de …

Os seres humanos realmente têm uma preferência irracional por números redondos

(Holger Leue / Banco de Imagens / Getty Images) Você prefere economizar 90% com um desconto de produto ou 91,27%? Novas pesquisas sugerem que nossas mentes estão preferidas a números agradáveis e redondos do que números irregulares, mesmo quando a opção irregular significa um acordo melhor em geral. Esse gosto pela estética numérica foi revelado …