数学与理论计算机科学的进展
- 数学和理论计算机科学领域的十项重大突破目前正在改变 AI、算法和密码学领域。
- 这些进展特别加强了后量子密码学(post-quantum cryptography),这是政府和私营企业在面对未来计算威胁时的关键准备领域。
- 尽管 AI 工具越来越多地被用于辅助数学发现,但该行业在正式证明方面仍严格依赖同行评审和独立验证。
- 这些进展至关重要,因为理论计算机科学提供了支撑现代机器学习和安全通信系统的基础数学规则。
来源与引用
1 个来源更多故事
白宫美国科学未来规划中缺失了什么
• 一项针对白宫美国科学战略规划的新批评认为,目前的方法过于狭隘,无法实现“科学的新黄金时代”。 • 该分析指出,政府过度优先考虑技术和工程领域,而忽视了对人文、公共卫生和社会科学的关键资金支持。
阅读原文 · nature.com
NatureNASA 介绍 SpaceX Crew-13 团队:空间站开展出舱活动准备与健康研究
• NASA 在德克萨斯州休斯顿的 Johnson Space Center 举行新闻发布会,介绍了 SpaceX Crew-13 团队,他们正为即将到来的国际空间站任务做准备。 • 当前的 Expedition 75 机组人员正专注于健康研究和出舱活动准备,包括在 Columbus 舱段对新型欧洲增强探索锻炼设备 (E4D) 进行测试。
阅读原文 · nasa.gov
NASA研究回顾:我们差点错过 6 个酷炫的科学故事 - Ars Technica
• Ars Technica 发布了一份精选研究回顾,重点介绍了六个被忽视的科学故事,包括关于蟑螂赛博潜水服的研究以及抹香鲸的行为研究。 • 该合集突出了多样化的发现,例如为参宿四 (Betelgeuse) 确认了一颗伴星,以及探讨嗜睡的抹香鲸为何会吹泡泡的原因。
阅读原文 · arstechnica.com
Ars Technica太空往事!2004年8月3日:NASA发射MESSENGER探测器前往水星轨道
• 2004年8月3日,NASA发射了MESSENGER探测器,这是首个旨在绕最内层行星水星运行的任务。 • 该探测器的具体任务是探索该行星的组成成分并寻找水的证据。
阅读原文 · space.com
Space.com今日顶尖科学新闻
• 最近的科学报道表明,接触少量的泥土和天然微生物可以为人类带来健康益处。 • 研究结果强调了“卫生假设”,认为过度无菌的环境可能会导致过敏症和自身免疫疾病的增加。
阅读原文 · news.sciencealert.com工程师计划如何挽救旨在拯救 NASA Swift 任务的卫星 - Ars Technica
• Katalyst 的工程师们正在丹佛附近的一个控制中心工作,试图挽救被部署用于支持 NASA Swift 任务的 Link 卫星。 • 该团队目前正在实施一项技术修复,以在 Link 卫星出现严重问题后重新获得对其的控制权。
阅读原文 · arstechnica.com
Ars TechnicaNASA 的 Nancy Grace Roman 太空望远镜将于 2026 年 8 月 30 日由 Falcon Heavy 火箭发射,其配备的镜面尺寸与 Hubble 相当,但视野范围宽约 100 倍,旨在绘制暗能量图谱并搜寻行星
• NASA 计划于 2026 年 8 月 30 日使用 SpaceX 的 Falcon Heavy 火箭发射 Nancy Grace Roman 太空望远镜。 • 该望远镜的镜面尺寸与 Hubble 相似,但视野范围宽约 100 倍,使其能够绘制暗能量图谱并搜寻系外行星。
阅读原文 · spacedaily.com
Space DailyNASA的Curiosity火星车在火星上发现神秘的蜂窝状地形
• NASA的Curiosity火星车在火星的一个山谷中发现了一片由微小多边形裂缝组成的巨大“海洋”,形成了蜂窝状的地貌。 • 这些图案仅有几英寸宽,且分布极其广泛,甚至环绕在附近一座20英尺高的孤山周围。
阅读原文 · sciencedaily.com
ScienceDaily“人类世表面上的混乱正在加速进化本身”:只要我们放手,植物就能在气候危机中找到生存与繁荣之道
• 在其著作《Despite it All》中,作者 Fred Pearce 认为,人类世的环境破坏正在加速植物的进化与适应。 • Pearce 强调,尽管气候危机仍在持续,许多植物物种正通过创新方式寻找生存与繁荣之法。
阅读原文 · livescience.com
Live ScienceABC关于太空探索的报道出现意外转折:有人声称月球是“原住民天空领土”的一部分
• 一枚 SpaceX 火箭在太空中漂浮一年多后,计划于本周三撞击月球。 • 预计此次撞击将创造一个新陨石坑,并将尘埃和碎片抛向太空。
阅读原文 · dailymail.com
Mail Online动植物新闻 -- ScienceDaily
• 研究人员发现,H5N1 禽流感病毒的目标是牛的乳房而非肺部,因为该病毒首选的受体集中在乳腺组织中。 • 这一科学突破于 2026 年 6 月 23 日报道,为病毒如何感染牲畜提供了关键见解。
阅读原文 · sciencedaily.com


