NASA reconsiders Mars life-hunting mission
NASA appears to be scaling back its commitment to searching for past or present life on Mars, according to Science News. The agency's budget proposals and mission planning documents de-emphasize astrobiology goals that were once central to the Mars exploration program. Scientists warn that a generation of researchers may lose the opportunity to answer whether life ever existed beyond Earth. The shift comes amid competing priorities including the Artemis lunar program and growing commercial space interests. The move has sparked debate within the planetary science community about whether the agency is abandoning its most audacious scientific goal.
AI cracks a decades-old Erdős math problem
An artificial intelligence system has solved a long-standing problem originally formulated by the legendary mathematician Paul Erdős, marking a milestone in automated mathematical reasoning. The achievement has prompted experts to call for guardrails around AI's use in mathematics, as the system produced a proof that human mathematicians had been unable to find for decades. The development raises questions about the future of mathematical discovery and whether AI will fundamentally change how mathematics is done.
New NIH rules slow genomic research
New security regulations from the National Institutes of Health for genomic data sets are slowing research collaborations and prompting laboratories to develop workarounds. The rules, aimed at protecting sensitive genetic information from foreign adversaries, have had the unintended effect of delaying projects studying inherited diseases and population genetics. Scientists are calling for a more targeted approach that balances security concerns with the need for open scientific exchange.