IA alcança avanço em matemática pura
Um sistema de inteligência artificial decifrou um problema matemático de décadas associado a Paul Erdos, um dos matemáticos mais prolíficos da história. O problema, que resistiu à solução humana por anos, foi resolvido por uma IA que demonstrou capacidades de raciocínio abstrato anteriormente consideradas domínio exclusivo de matemáticos humanos. A conquista é saudada como um marco na pesquisa de IA.
Cientistas pedem novas estruturas de supervisão
Após o avanço, especialistas em ciência e matemáticos estão pedindo salvaguardas para governar a pesquisa impulsionada por IA. A preocupação é que os sistemas de IA possam produzir resultados mais rápido do que a comunidade científica pode validar ou entender. O apelo ecoa debates mais amplos sobre segurança e transparência da IA, à medida que pesquisadores lidam com as implicações de máquinas que podem igualar ou superar capacidades humanas em domínios especializados.
NASA reduz ambições de busca por vida em Marte
Em outras notícias científicas, a NASA parece estar recuando de seu objetivo de longa data de buscar vida em Marte, segundo cientistas planetários. A estratégia em evolução da agência espacial prioriza a devolução de amostras em vez da detecção in situ de vida. Enquanto isso, a "mancha fria" do Atlântico Norte pode sinalizar um declínio na Circulação de Revolvimento Meridional do Atlântico (AMOC), uma corrente oceânica reguladora do clima que os cientistas dizem estar mostrando fraqueza preocupante.