- AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
- 机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该 ...
- date:2026-01-09 06:05 praise: views:1084
- 载有马杜罗的飞机抵达美国纽约
- 来源：财联社 财联社1月4日电，据央视新闻，当地时间1月3日，载有委内瑞拉总统马杜罗的飞机已抵达美国纽约。 ...
- date:2026-01-09 05:19 praise: views:764
- 联合国秘书长对委内瑞拉局势升级深感震惊
- 新华社联合国1月3日电 联合国秘书长古特雷斯的发言人3日发表声明说，古特雷斯对委内瑞拉近期局势升级深感震惊，美国当天在委内瑞拉采取的军事行动可能对地区产生令人担忧的影响。点击进入专题： 委内瑞拉遭 ...
- date:2026-01-09 05:16 praise: views:1978
- 终于学会了火腿肠的正确打开方式！别再用牙咬了
- 终于学会了火腿肠的正确打开方式！别再用牙咬了2026-01-03 00:06:45 来源：科普中国微信公众号 ...
- date:2026-01-09 04:37 praise: views:2062
- 豆包发布手机助手技术预览版 正与多家手机厂商洽谈合
- 12月1日，字节跳动豆包团队发布豆包手机助手技术预览版。据了解，该产品是在豆包APP基础上，与手机厂商在操作系统层面合作的AI助手软件。据介绍，豆包手机助手基于豆包大模型能力，通过与手机厂商合作授权， ...
- date:2026-01-09 04:12 praise: views:696
- 泽连斯基宣布乌美将于6日举行新一轮会谈
- △泽连斯基资料图） 当地时间1月3日，乌克兰总统泽连斯基表示，1月6日他将在法国巴黎与美国总统特朗普的团队举行会谈。 泽连斯基表示，他将访问巴黎，此行关键任务是就意愿联盟框架下对乌安全保障文件敲定 ...
- date:2026-01-09 04:06 praise: views:142
- 俄罗斯多地遭无人机袭击 部分机场临时管制
- △莫斯科资料图） 当地时间1月4日，俄罗斯多地遭到无人机袭击，俄境内部分机场因此临时管制，暂停航班起降。 莫斯科市市长索比亚宁在社交媒体上发文说，俄防空部队当天已击落23架意图袭击莫斯科的无人机。 ...
- date:2026-01-09 04:06 praise: views:2311
- 女孩在长城诵诗引共鸣 哪些“诗和远方”打动了你
- 近日，19岁女孩陈欣妍独自跨越1700公里，登上八达岭长城上朗诵《清平乐·六盘山》的视频，打动了众多网友。 少年意气，叩问山河，众多网友跟评，纷纷为陈欣妍的行为点赞。 “也许是诗里的山河太辽阔 ...
- date:2026-01-09 04:01 praise: views:1463
- 破禁忌！93岁胡枫执意为老友扶灵，临终一幕让刘德华都送花圈
- 93岁胡枫冒忌清晨扶灵刘德华花圈排第一现场挤满两百排红磡殡仪馆7月5号天刚蒙亮就被堵死，守门保安说凌晨四点半第一拨花圈就到了，胡枫六点五十准时下车，黑西装搭白手套，墨镜被徒弟接过去擦得锃亮再戴回，97 ...
- date:2026-01-09 03:59 praise: views:741
- 泽连斯基近期人事调整所为何来？有何影响？
- 乌克兰总统泽连斯基2日任命时任乌国防部情报总局局长布达诺夫为乌总统办公室主任，并宣布对乌国防部多个关键岗位的人事安排进行调整。乌媒体和分析人士认为这将对俄乌冲突走向、和平谈判及乌国内选举产生多重影 ...
- date:2026-01-09 03:45 praise: views:2181