NASA omprövar Mars-livsuppdraget
NASA verkar minska sitt engagemang för att söka efter tidigare eller nuvarande liv på Mars, enligt Science News. Myndighetens budgetförslag och uppdragsplaneringsdokument tonar ner astrobiologiska mål som en gång var centrala för Marsutforskningsprogrammet. Forskare varnar för att en generation av forskare kan förlora möjligheten att svara på om liv någonsin existerat bortom jorden. Förskjutningen kommer mitt i konkurrerande prioriteringar inklusive Artemis månprogram och växande kommersiella rymdintressen. Flytten har väckt debatt inom planetforskningssamhället om huruvida myndigheten överger sitt mest vågade vetenskapliga mål.
AI knäcker årtionden gammalt Erdős-matematikproblem
Ett artificiellt intelligenssystem har löst ett långvarigt problem som ursprungligen formulerades av den legendariske matematikern Paul Erdős, vilket markerar en milstolpe i automatiserat matematiskt resonemang. Prestationen har fått experter att kräva skyddsräcken kring AI:s användning inom matematik, eftersom systemet producerade ett bevis som mänskliga matematiker inte kunnat hitta på årtionden. Utvecklingen väcker frågor om framtiden för matematisk upptäckt och huruvida AI kommer att förändra hur matematik bedrivs i grunden.
Nya NIH-regler saktar ner genomisk forskning
Nya säkerhetsföreskrifter från National Institutes of Health för genomiska datamängder bromsar forskningssamarbeten och driver laboratorier att utveckla kringgåenden. Reglerna, som syftar till att skydda känslig genetisk information från utländska motståndare, har haft den oavsiktliga effekten att försena projekt som studerar ärftliga sjukdomar och populationsgenetik. Forskare kräver en mer målinriktad strategi som balanserar säkerhetsbekymmer med behovet av öppet vetenskapligt utbyte.