Um sistema de inteligência artificial resolveu um problema matemático de décadas originalmente proposto pelo lendário Paul Erdős, marcando um novo marco para o raciocínio de máquinas e a prova automatizada de teoremas. O avanço foi anunciado junto com outras descobertas científicas.
Um novo estudo publicado na Science revela que reações químicas impulsionadas por metais em fontes hidrotermais do fundo do mar podem ter produzido as moléculas orgânicas necessárias para a vida surgir na Terra. As descobertas têm implicações para a busca de vida extraterrestre.
Um sistema de inteligência artificial resolveu com sucesso um problema matemático de longa data associado ao lendário Paul Erdős, relataram investigadores. A conquista demonstra o crescente potencial da IA.
Um modelo de IA resolveu um antigo problema de geometria do matemático Paul Erdős, considerado o maior avanço da IA na matemática. A descoberta levanta debates sobre limites entre IA e criatividade humana.
A NASA nomeou a tripulação de quatro pessoas para a missão Artemis III, liderada pelo comandante Randy Bresnik, o astronauta da ESA Luca Parmitano como piloto e os especialistas de missão Frank Rubio e Andre Douglas.
O Telescópio Espacial James Webb detectou diretamente metano no cometa interestelar 3I/ATLAS, a primeira vez que essa molécula foi encontrada em um objeto de fora do nosso sistema solar. A proporção metano-água é surpreendentemente alta.
A NASA declarou sua sonda orbital marciana MAVEN morta após perder contato com a espaçonave em dezembro de 2025. A sonda de US$ 582 milhões passou 11 anos estudando a atmosfera de Marte e como o vento solar removeu