Science & Space · Page 2
AI accelerating research, exploring space and decoding the natural world
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
Fifty Eyes in the Sky: How AI Satellites Are Catching Wildfires Before They Spread
A new network of space-based sensors, paired with AI, aims to spot a wildfire while it is still small enough to stamp out. The first three satellites launched in July. Forty-seven more are planned.
Desafio de Reprodutibilidade: O Que Aprendemos Testando 2.200 Artigos de IA
Um vasto experimento testou as alegações de mais de 2.200 artigos de pesquisa em IA. Eis o que os resultados revelam sobre reprodutibilidade.
Um Modelo de IA para Satélites que Pode Realmente Usar: Allen Institute Abre OlmoEarth Embeddings
OlmoEarth Studio da Allen AI pode agora exportar "impressões digitais" numéricas de qualquer zona da Terra, permitindo aos investigadores mapear florestas, detetar incêndios florestais e rastrear mudanças terrestres com quase nenhuns dados de treino rotulados.
A IA da OpenAI Resolveu 10 Problemas de Matemática Difíceis. Agora Matemáticos Estão a Questionar o Valor dos Seus Empregos.
Um novo modelo da OpenAI resolveu puzzles de matemática com uma década de existência que deixaram investigadores humanos perplexos durante anos. Os resultados são impressionantes. A disputa sobre crédito em torno de um deles é um aviso sobre como os laboratórios de IA falam sobre as pessoas cujo trabalho usam como base.
Esqueçam o Silício: Cientistas Estão a Construir a Próxima Geração de Computadores Com Células Cerebrais Vivas
Aglomerados de neurónios humanos cultivados em laboratório estão a jogar videojogos, a guiar robôs em labirintos, e sugerem um futuro onde a inteligência 'artificial' é feita de carne, não de chips.
Investigadores de IA universitários estão a ser afastados do seu próprio campo
A vanguarda da IA mudou-se de universidades para laboratórios privados. Académicos numa recente reunião da Schmidt Sciences descreveram um campo que é mais difícil de financiar, mais difícil de estudar e mais difícil de justificar do que nunca.
Esta startup utiliza IA para procurar materiais de chips que funcionam mais frescos
A Discovered Materials angariou 9 milhões de dólares para implementar agentes de IA que testam milhares de potenciais novos materiais de chips por dia, com o objectivo de reduzir o calor que torna os centros de dados tão caros de operar.
Um Revisor Perdeu o Ponto de um Estudo sobre Vacinas. A IA Pode Piorar Isto.
Quando um economista da saúde descobriu que os mandatos de vacina HPV nas escolas têm pouco impacto nas taxas de cancro cervical, o seu revisor achou que estava a atacar a vacina em si. Este tipo de má leitura é comum. As revisões geradas por IA poderiam torná-la rotina.
O próximo salto de IA em ciência virá de agentes de raciocínio, não de modelos sedentos de dados como AlphaFold
AlphaFold foi um marco histórico, mas as condições que o tornaram possível levaram 53 anos e 21 mil milhões de dólares a construir. Para a maioria da ciência, um tipo diferente de IA, um que raciocina e experimenta passo a passo, já está a mostrar o que vem a seguir.
Pacote GeoAI com Apoio da NASA Permite aos Investigadores Executar Análise de Satélites com Poucas Linhas de Python
Uma ferramenta gratuita e de código aberto visa trazer mapeamento orientado por IA e análise de imagens de satélite a cientistas sem experiência em aprendizagem automática, com financiamento da NASA e do Serviço Geológico dos EUA.
A IA do Google DeepMind Deu à Jamaica um Dia Extra para se Preparar para um Furacão Categoria 5
Um novo modelo de previsão de tempestades previu que o Furacão Melissa atingiria a Jamaica cinco dias antes, um dia inteiro mais cedo do que as ferramentas antigas conseguiam. Um artigo na Nature diz que a IA funciona de formas que nem os seus próprios criadores conseguem explicar completamente.
IA Desenhou Vírus Funcionais do Zero. Eis o Que Isso Realmente Significa
Investigadores de Stanford utilizaram um grande modelo de genoma para gerar bacteriófagos funcionais. Os vírus funcionam. Não são armas. Mas os mesmos investigadores questionam se devemos planejar-nos antes de alguém construir uma versão que ataque humanos.
WeatherNext da Google DeepMind Oferece aos Meteorologistas um Dia Extra Inteiro para Avisar Sobre Ciclones
O laboratório está a disponibilizar o código e os pesos do modelo de um sistema que previu o rápido fortalecimento do Furacão Melissa e a sua chegada à Jamaica em 2025.
37 Investigadores Dizem que a Ciência Deve Deixar de Escrever Artigos para Humanos e Começar a Escrevê-los para IA
Uma nova proposta quer substituir o artigo científico tradicional por um formato construído em torno de agentes de IA. Os investigadores por trás dela afirmam que o PDF com 350 anos de idade está a impedir o avanço da ciência.