- AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
- 机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该 ...
- date:2026-01-09 14:52 praise: views:1458
- 金正恩视察重要军工厂 了解战术制导武器生产情况
- 当地时间1月3日，朝鲜劳动党总书记、国务委员长金正恩视察重要军工厂，了解战术制导武器生产情况。 金正恩首先参观技术升级的生产区，具体了解了现代化情况。金正恩指出，朝鲜军工产业要周密细致地做好经济 ...
- date:2026-01-09 14:42 praise: views:2591
- 联合国秘书长对委内瑞拉局势升级深感震惊
- 新华社联合国1月3日电 联合国秘书长古特雷斯的发言人3日发表声明说，古特雷斯对委内瑞拉近期局势升级深感震惊，美国当天在委内瑞拉采取的军事行动可能对地区产生令人担忧的影响。点击进入专题： 委内瑞拉遭 ...
- date:2026-01-09 14:41 praise: views:2722
- 美军150架飞机抓捕行动全程曝光，特朗普实时观看
- 据@CCTV国际时讯 报道，当地时间1月3日，美国总统特朗普在社交平台上发布多张照片，称这些照片的内容为美国对委内瑞拉动武期间，他与中央情报局局长拉特克利夫、国务卿鲁比奥及国防部长赫格塞思等人一同 ...
- date:2026-01-09 14:29 praise: views:197
- 李小恒总结2025赛季：从艰难中吸取教训，并以更强的姿态回归
- 日前，效力于山东泰山的港脚李小恒在社交媒体里晒出视频并发文总结自己的2025赛季：“真是跌宕起伏的一个赛季，从艰难中吸取教训，并以更强的姿态回归。好好休息一下，渴望在2026年迎接更多挑战。”李小恒写 ...
- date:2026-01-09 14:21 praise: views:2549
- 乌克兰对95名个人和70家实体实施制裁
- 乌克兰总统泽连斯基1月4日签署命令，实施乌国家安全与国防委员会关于对95名自然人和70家法人实体实施制裁的决定，其中大部分为俄罗斯公民。制裁措施主要针对与俄罗斯国防工业综合体相关的公司和高管，涉及 ...
- date:2026-01-09 14:02 praise: views:1493
- 【堂堂上新!!!】2027TTS院校全程班｜降低考研试错成本!!按部就班就是伟大!!!
- (ᕑᗢᓫ∗)˒「2027TTS院校全程班」「点击下方微信小店」更轻量的课程内容更适合的课程价格更针对的院校服务更完善的服务体系我们一起降低试错成本按部就班就是伟大୧(๑•̀ɜ•́๑)૭TTS班班花花2 ...
- date:2026-01-09 13:42 praise: views:871
- 真的别再把肉泡水里解冻了！正确的解冻方法→
- 真的别再把肉泡水里解冻了！正确的解冻方法→2026-01-03 11:28:02 来源：“科普中国”微信公众号 ...
- date:2026-01-09 13:40 praise: views:920
- 俞敏洪在南极旅游发全员信引争议，有新东方员工称“无法共情”
- 界面新闻记者 | 宋佳楠“老板在南极，员工在加班。”这是不少网友在看到俞敏洪的最新全员信后的第一反应。11月16日，新东方迎来32周年，创始人俞敏洪身处南极向全体员工发出一封全员信。信中提到，“此刻， ...
- date:2026-01-09 12:44 praise: views:1804
- 美军突袭委内瑞拉，“小李子”被“困”加勒比海岛屿
- 据环球时报援引美国《人物》杂志网站等媒体1月3日报道，受美国对委内瑞拉突然发动军事行动影响，好莱坞影星“小李子”莱昂纳多·迪卡普里奥滞留在加勒比海岛屿，未能出席当天在美国加州举行的一场颁奖典礼。▲ ...
- date:2026-01-09 12:30 praise: views:92