Science

NASA放缓火星生命探索,AI破解数十年未解数学难题

0 views

NASA重新考虑火星生命探测任务

据《科学新闻》报道,NASA似乎正在缩减对火星过去或现存生命搜寻的投入。该机构预算提案和任务规划文件淡化了过去火星探索计划核心的天体生物学目标。科学家警告,一代研究者可能失去回答地球外是否存在生命的机会。这一转变发生在阿尔忒弥斯月球计划和日益增长的商业太空利益等竞争性优先事项之下。此举引发行星科学界关于该机构是否放弃最雄心勃勃科学目标的辩论。

AI破解传奇数学家埃尔多斯数十年前难题

一个人工智能系统解决了传奇数学家保罗·埃尔多斯提出的一个长期难题,标志着自动数学推理的里程碑。这一成就促使专家呼吁为AI在数学中的使用设立护栏,因该系统生成了人类数学家数十年来无法找到的证明。该发展引发了对数学发现未来以及AI是否将根本改变数学方式的质疑。

NIH新规拖慢基因组研究

美国国立卫生研究院针对基因组数据集的新安全法规正拖慢研究合作,并促使实验室开发变通方案。这些旨在保护敏感遗传信息免受外国对手侵犯的规则,意外延迟了研究遗传疾病和群体遗传学的项目。科学家呼吁采取更有针对性的方法,平衡安全关切与开放科学交流的需求。

Source: Daily8News