NASA overvejer Mars-livjagtmission igen
NASA ser ud til at nedskalere sin forpligtelse til at søge efter fortidigt eller nuværende liv på Mars, ifølge Science News. Agenturets budgetforslag og missionsplanlægningsdokumenter nedtoner astrobiologimål, der engang var centrale for Mars-udforskningsprogrammet. Forskere advarer om, at en generation af forskere kan miste muligheden for at besvare, om liv nogensinde har eksisteret uden for Jorden. Skiftet kommer midt i konkurrerende prioriteter, herunder Artemis-måneprogrammet og voksende kommercielle ruminteresser. Trækket har udløst debat inden for planetforskersamfundet om, hvorvidt agenturet opgiver sit mest dristige videnskabelige mål.
AI knækker årtier gammelt Erdős-matematikproblem
Et kunstig intelligens-system har løst et langvarigt problem, oprindeligt formuleret af den legendariske matematiker Paul Erdős, hvilket markerer en milepæl i automatiseret matematisk ræsonnement. Præstationen har fået eksperter til at opfordre til grænser omkring AI's brug i matematik, da systemet producerede et bevis, som menneskelige matematikere ikke havde været i stand til at finde i årtier. Udviklingen rejser spørgsmål om fremtiden for matematisk opdagelse, og om AI fundamentalt vil ændre, hvordan matematik udføres.
Nye NIH-regler sænker genomisk forskning
Nye sikkerhedsregler fra National Institutes of Health for genomiske datasæt sænker forskningssamarbejde og får laboratorier til at udvikle løsninger. Reglerne, der sigter mod at beskytte følsom genetisk information mod udenlandske fjender, har haft den utilsigtede effekt at forsinke projekter, der studerer nedarvede sygdomme og populationsgenetik. Forskere opfordrer til en mere målrettet tilgang, der balancerer sikkerhedshensyn med behovet for åben videnskabelig udveksling.