AI辅助证明确认量子计算机在一类数学问题上无巨大优势
结论：一项由AI辅助完成的证明显示，对一整类数学问题，量子计算机不会带来巨大优势，从而严格证明了一项影响深远的猜想；该结果属理论证明，不涉及实验性能数据。 设计与做法：材料为资讯报道，研究采用AI辅助的形式化或数学证明方法，针对某一类数学问题比较量子与经典计算能力；问题类别定义、
Vast data dump from Euclid space telescope reveals stunning galaxies
In the latest release of images collected by the Euclid space telescope, there are close-ups of distant galaxies where stars are in the proc
机器人首次在轨自主组装空间无线电天线结构
资讯报道称，一台机器人在无航天员协助下于太空组装出无线电天线，被描述为在轨自主制造的第一步；方向为技术可行性展示，强度属初步演示。 设计类型为资讯/案例式报道，样本量为单次在轨演示，干预为机器人自主组装，对照与随访时长材料未报告。
