AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验

机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该

• 刚刚，中美机器人爆发了一场论战
• 阿里1688启动“寻源中国”供应链
• 焦点访谈｜莫慌张！流感高发期 请查收科学防护指南
• 中国信通院云大所发布《数据要素发展报告（2025年）》
• 泽连斯基：乌美正筹备新一轮会谈
• 实测豆包手机助手：AI 操作手机的时代来了？

新雪季开启！新手也能放心冲的滑雪安全指南来了

新雪季开启！新手也能放心冲的滑雪安全指南来了2025-12-04 07:56:07 来源：央视新闻客户端 作

• 升破7.09，在岸、离岸人民币对美元汇率创1年多新高
• 阿里1688启动“寻源中国”供应链
• 清华大学与赛力斯共建电池创新技术联合研究中心
• 张近东家族，资产真要清零了
• 焦点访谈｜莫慌张！流感高发期 请查收科学防护指南
• 高市早苗的算计，将让日本割肉5000亿

俞敏洪，再次走向危险边缘

出品丨花朵财经观察FF-Finance）撰文丨华见俞敏洪又一次被推至风暴中心。11月16日，新东方迎来32岁生日，创始人俞敏洪从南极发回一封内部感谢信。信中五次描绘南极的浩瀚与宁静，借企鹅的坚守比喻团

• 实测豆包手机助手：AI 操作手机的时代来了？
• 阿里1688启动“寻源中国”供应链
• 10次！中国文昌航天发射场年发射量首次达到两位数
• 俞敏洪在南极旅游发全员信引争议，有新东方员工称“无法共情”
• 大黄鱼如何“暗中联络”？它的“语言”被破译了！
• 揭秘三体公司原CEO许垚投毒杀人案始末

• 俞敏洪，再次走向危险边缘 出品丨花朵财经观察FF-Finance）撰文丨华见俞敏洪又一次被推至风暴中心。11月16日，新东方迎来32岁生日，创始人俞敏洪从南极发回一封内部感谢信。信中五次描绘南极的浩瀚与宁静，借企鹅的坚守比喻团 ...
• 俄称击落多架企图袭击莫斯科的无人机！ 俄罗斯莫斯科市市长索比亚宁9月1日发布消息称，当天凌晨俄军在莫斯科州波多利斯克上空击落了2架飞向莫斯科的无人机。随后，索比亚宁宣布，再击落1架无人机。据初步统计，无人机残骸坠落现场没有造成财产损失和人 ...

• 山东威海通报“14岁初中生在校体测倒地后猝死”
• 绝味食品忙活半年，门店减少近千家、营收下滑近一成
• 监管对投资者疑似违规借用证券账户启动核查
• 受台风“摩羯”影响 多地河流将发生超警洪水
• 深夜，白银迭创新高！黄金也突破近6周高点
• “稚晖君”停更这一年：想赢下人形机器人，要像大公司那样去创业

新华鲜报·“十四五”发展亮点

　　强大国内市场是中国式现代化的战略依托。“十五五”规划建议提出，“坚持扩大内需这个战略基点”“增强国内大循环内生动力和可靠性”。　　回望“十四五”，一个数字十分亮眼：86.4%！　　这是2021年至 …

• 

  【推荐】京张冰雪文化旅游季启动 发布10条北京冰雪旅游线路

  本文转自：人民网-北京频道人民网北京11月28日电 记者尹星云）11月27日，北京市文化和旅游局举办“2025—2026京张冰雪文化旅游季”启动仪式。本次活动旨在集中展示京张两地冰雪旅游高质量发展的最 ...

• 

  【推荐】俄称在多地击落无人机 乌方暂未回应

  来源：央视新闻客户端俄罗斯国防部当地时间9月1日通报称，8月31日夜间至9月1日凌晨，俄防空系统在多地共击落158架乌克兰无人机，其中包括在俄罗斯首都莫斯科市上空击落2架，在莫斯科州上空击落7架，在库 ...

• 

  【推荐】新型光子单元问世，用光实现信息存储和读取

  IT之家 9 月 4 日消息，科技媒体 Tom's Hardware 昨日9 月 3 日）报道，德国拜罗伊特大学携手墨尔本大学，合作设计可光学切换的光子装置，可利用光来存储和读取二进制信息。项目团队介 ...

• 台积电指控前高管向英特尔泄露商业秘密 英特尔否认
• 全面治理网络乱象！网安部门指导互联网平台自律自治
• 文心一言APP升级为文小言，免费开放文心4.0大模型
• 中金突发，降薪降职！
• 从建行辞职去房企领高额“安家费”的女高管，已被判刑14年
• 奥运会后再相遇？纳瓦罗再谈郑钦文：她不尊重我、不尊重这项运动
• Meta 公布 Llama AI 模型家族下载量数据：全球超 3.5 亿
• 消息称一加 Ace5 系列中端线新机“全系 6 开头超大硅电池”
• 多地气温“滑梯式”下跌 多部门协同细化服务全力保障百姓生产生活
• 2900毫米的轴距，smart是回归主流还是慌不择路？

• 郑丽文：赖清德固执耍流氓，2026县市长选举要让国民党从头赢到尾 海峡导报综合报道中国国民党主席郑丽文昨赴基隆出席131周年党庆，谈到基隆市民近年在两次罢免案用超高的不同意票表达不喜欢撕裂，叫民进党放手，但赖清德真的很固执，台当局也不把三读通过的法案放在眼里，“只有 ...
• 农夫山泉业绩放缓，背锅的是网友？ 文 /三生继8月28日因财报导致股价暴跌10.43%后，9月2日开盘后，农夫山泉再度迎来大跌，收盘时股价为26.85港元/股，全天跌幅为5.46%，市值跌至3020亿港元。从5月初到9月2日，农夫山泉 ...

• 香港警方在宏盛阁再发现火灾遇难者遗体
• 到底是谁在传，微信不支持iPhone了？
• 韩媒：尹锡悦中秋送礼，在野党议员拒收
• 海口：网传“今天下午3点全岛停电”为虚假信息
• 美与俄乌分头谈“和平计划” 却缺席北约外长会
• 重庆金融国企董事长卸任，去年薪酬42万，人均约49万

两年被家暴16次，4处重伤！受害者是否走出阴霾？

　　“我跟他两年的婚姻就是九个字：逃不掉，离不了，过不好。”　　“我跑到外地去他也能找到我，找到后先求合，我不同意他就打我。”　　今年9月，备受关注的被告人贺某阳故意伤害、虐待刑事附带民事诉讼案迎来二 …

• 

  【推荐】AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验

  机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该 ...

• 

  【推荐】字节的野心藏不住了

  出品｜虎嗅黄青春频道作者｜商业消费主笔黄青春题图｜《赌神》剧照抖音在电商版图的行军路线正加速向货架挺进。虎嗅获悉，近期抖音电商与永辉超市达成战略合作，计划入驻永辉百余家门店，旨在快速覆盖线下高净值零售 ...

• 

  【推荐】以色列与哈马斯同意暂时停火为儿童接种脊灰疫苗

  以色列与哈马斯同意暂时停火，为儿童接种脊灰疫苗，图为儿童 资料图新华社联合国8月29日电记者潘云召）世界卫生组织驻巴勒斯坦被占领土代表皮佩尔科恩29日说，以色列与巴勒斯坦伊斯兰抵抗运动哈马斯）已同意在 ...

• 阿里1688启动“寻源中国”供应链
• 2900毫米的轴距，smart是回归主流还是慌不择路？
• 全面治理网络乱象！网安部门指导互联网平台自律自治
• 废除老牌护卫舰队，日本海上自卫队大整编用意何为？
• 北京保障房中心为822户居民免费换新
• 中国移动与北京邮电大学签署战略合作协议
• 废除老牌护卫舰队，日本海上自卫队大整编用意何为？
• 港中深团队打造新型AI评测集，或可成为数学大模型检验的重要基准
• 个人存取款超5万将告别“一刀切”式登记
• 美国股市大幅下跌，英伟达市值一夜蒸发近2万亿元｜快讯

• 时隔3年进美网女双四强！张帅组合2 北京时间9月4日，2024年美网女双1/4决赛，张帅/穆拉德诺维奇对决5号种子梅里查尔/佩雷兹。张帅/穆拉德诺维奇以7-62）和6-4连赢两盘，最终张帅/穆拉德诺维奇总分2-0横扫晋级美网女双四强，并 ...
• Bang & Olufsen 铂傲头戴式耳机 Beoplay H100 发布，11598 元 IT之家 9 月 4 日消息，Bang & Olufsen 铂傲头戴式耳机 Beoplay H100 于昨日正式发布，该款耳机现已上架京东并开售，售价 11598 元。据介绍，铂傲 Beopl ...

• 年薪百万请军师，茶饮能否解海底捞之渴？
• 三星 Galaxy S24 FE 手机曝光：最高 12GB +256GB
• “稚晖君”停更这一年：想赢下人形机器人，要像大公司那样去创业
• 俄称在多地击落无人机 乌方暂未回应
• 比亚迪否认推迟在墨西哥设厂：继续致力于建设最高技术标准工厂
• 宗馥莉全面接手杭州娃哈哈集团公司

韩媒：尹锡悦中秋送礼，在野党议员拒收

　　[环球时报综合报道]据韩联社报道，韩国部分在野党议员于4日集体在社交平台上发布了尹锡悦送来的中秋礼物照片，并明确表示“拒绝领取”。　　据报道，韩国共同民主党议员李成润音译）当天在脸书上发文称：“龙 …

• 

  【推荐】受台风“摩羯”影响 多地河流将发生超警洪水

  　　来自水利部的消息，今年第11号台风“摩羯”预计将于6日下午至傍晚在海南文昌到广东雷州沿海登陆。受其影响，9月6日至8日，海南岛、广东南部、广西西南部、云南南部等地有大到暴雨，局部特大暴雨，暴雨区内 ...

• 

  【推荐】俄官员：乌军多架无人机袭击俄发电厂

  当地时间9月1日，俄罗斯莫斯科州卡希拉市市长舒瓦洛夫表示，乌军试图用3架无人机袭击当地的发电厂，袭击没有造成人员伤亡，也没有造成电力供应中断。△特维尔州科纳科夫斯卡亚发电厂发生火灾另据俄罗斯特维尔州州 ...

• 

  【推荐】华为Mate XT非凡大师手机代言人公布：许昕、于和伟、杨幂、樊登

  IT之家 9 月 4 日消息，今天上午，华为终端官微陆续宣布了华为 Mate XT 非凡大师手机的四名“非凡见证官”—— 樊登读书创始人樊登、乒乓球运动员许昕、演员于和伟、演员杨幂。值得一提的是，官方 ...

• “稚晖君”停更这一年：想赢下人形机器人，要像大公司那样去创业
• 中新健康丨蔡磊辟谣“招募20个快死的患者干一票”
• Meta 公布 Llama AI 模型家族下载量数据：全球超 3.5 亿
• 消息称刘自鸿已被解聘柔宇科技董事长职务，目前只剩公司大股东身份
• 加沙地带多地遭以色列军队袭击
• 完美世界半年亏1.77亿，股东大幅套现72亿，股价距离高点已暴跌超80%
• 绝味食品忙活半年，门店减少近千家、营收下滑近一成
• 中西方文化碰撞，AI入驻纹身应用实现“下载即付费”
• 8月财新中国服务业PMI降至51.6
• 还在IPO，实控人已减持套现2600万！华昊中天太会玩了