探索
-
AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该 ...
-
中国造出新战车能发射48架无人机
中国无人机蜂群作战系统曝光 来源：视频综合） 中国航展上，中国蜂群2号陆战车首次亮相。单辆车可装载发射48架固定翼无人机，每架无人机都可以搭载光电侦察、打击弹药等多样化载荷，且可以任意组合， ...
-
因自行车赛事 北京公交19条线路采取临时措施
新京报讯 据@北京公交集团微博消息，按照2024环门头沟国际公路自行车赛事相关安排，根据门头沟区《关于2024环门头沟国际公路自行车赛暨门头沟山野户外骑游大会期间对部分道路采取交通管制的通告》有关要求 ...
-
西安00后软件工程师辞职摆摊卖蛋糕：更想跟人打交道，而非冷冰冰的键盘
今年9月，2000年出生的艾庆勇做出一个重要决定：辞掉软件工程师的工作，转行摆地摊卖蛋糕。如今摆摊已经过去两个多月。11月14日晚，艾庆勇告诉上游新闻报料邮箱：cnshangyou@163.com）记 ...
-
野外找不着“北”？这些户外应急技巧，关键时刻能救命
野外找不着“北”？这些户外应急技巧，关键时刻能救命2025-12-04 09:50:32 来源：国家应急广播 ...
-
在APEC国际媒体中心感受秘鲁文化元素
原标题：在APEC国际媒体中心感受秘鲁文化元素） 在APEC国际媒体中心感受秘鲁文化元素 来源：新华社新闻） 位于秘鲁利马市区的亚太经合组织第三十一次领 ...
-
杭州一网约车司机接到诡异订单：无人乘车，包裹贵重……
来源：杭州交通918近日，网约车司机付师傅接到了一个特殊订单，47.8公里的路程订单总价超300元，无人员乘车，随车同行的只有一个包装完好的纸箱。付师傅接到的订单截图就在他将纸箱送达目的地时，派出所民 ...
-
再次亮相航展！这位直
她是我国陆军首批女飞行员之一，毕业考核时获满分成绩，入列就飞最新型的直-20。又美又飒的她，是众多网友心中“新青年的榜样”，她就是徐枫灿。徐枫灿驾驶直-20近日，第十五届中国航展在珠海开幕，作为直-2 ...
-
女病毒学家给自己注射病毒：乳腺癌肿瘤缩小，切除后45个月未复发
作为克罗地亚萨格勒布大学的病毒学家，贝塔·哈拉斯在4年前得知自己乳腺癌再次复发时，决定在自己身上使用一种医学界正在研究的癌症治疗方式——病毒疗法。这种治疗方法可以避免化疗等传统治疗方法对身体带来的破坏 ...