AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该
...
2026-01-07 04:58
1720
知识
全国人民都知道了，南京再上民间版热搜！又有多校宣布8点前到校！
从前天到今天，我们发布的文章《》被多家省级媒体转发，然后又有多家外地媒体转发，现在全国很多地区都知道南京这件事了。自从南京几所学校宣布早上8点到校后，南京一下子成为众多外地家长们羡慕的对象，各地的家长
...
2026-01-07 04:50
2101
御风未来获颁中型复合翼无人驾驶航空器型号合格证
2025年12月30日，御风未来旗下150公斤级E40H民用无人驾驶航空器系统获得由中国民用航空中南地区管理局颁发的型号合格证。据御风未来介绍，这是全球范围内中型复合翼以及混合动力无人机中率先满足
...
2026-01-07 04:40
2905
省级党政一把手的假期第一天
来源：政知见 撰文 | 余晖 元旦假期首日，全国多地迎来出行与消费热潮。 政知君注意到，在1月1日，广东、河南、甘肃、湖北、云南、海南等省份的党政主要领导有公开活动，多位领导走进企业、商场和
...
2026-01-07 03:43
173
上海一外卖员被撞断6根肋骨，肇事大学生未支付赔偿，选择消失……
来源：新闻晨报00后大学生刘青和化名）3年前在上海嘉定上学时驾驶电动车将一名外卖员撞伤经交管部门认定刘青和需承担全部责任双方调解约定5年内分5期赔付20.5万元经法院调解刘青和同意5年内向对方支付各类
...
2026-01-07 03:16
373
揭秘袁家班：袁祥仁与袁和平兄弟联手打造的动作江湖
1月1日晚，导演李力持在微博中发文称，香港知名演员、武术指导袁祥仁在新年第一天的中午因病去世，其丧礼定在2月1日。 关于袁祥仁，许多年轻观众的第一印象是那个在《功夫》里拿着《如来神掌》的老乞丐。
...
2026-01-07 02:56
2359
中考没有高级技巧，只有重复和积累
你可能没注意，现在学生圈里流行一种新型内卷：背单词不靠嘴，全靠联想图像；记笔记不用手，全部思维导图；复习不靠眼，信仰记忆宫殿。听起来很厉害，但看成绩，全班倒数第七，前面六个都在沉迷抄写。你没看错，这年
...
2026-01-07 02:54
933
事关中韩关系，李在明打了个比喻
据韩联社报道，5日，韩国总统李在明出席在北京钓鱼台国宾馆举行的中韩商务论坛，并在致辞中强调两国应携手开辟合作新航道。 1月5日，在北京钓鱼台国宾馆，李在明出席中韩商务论坛。 韩联社 李在明以
...
2026-01-07 02:44
1422
中国信通院云大所发布《数据要素发展报告（2025年）》
随着以人工智能为代表的新一轮科技革命和产业变革深入发展，数据作为关键生产要素的战略价值愈加凸显。数据与智能的深度融合，不仅是催生新产业、新模式、新动能的重要力量，更是我国在全球数字经济竞争中构筑新优势
...
2026-01-07 02:33
409
女孩在长城诵诗引共鸣 哪些“诗和远方”打动了你
近日，19岁女孩陈欣妍独自跨越1700公里，登上八达岭长城上朗诵《清平乐·六盘山》的视频，打动了众多网友。 少年意气，叩问山河，众多网友跟评，纷纷为陈欣妍的行为点赞。 “也许是诗里的山河太辽阔
...
2026-01-07 02:18
1458