- AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
- 机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该 ...
- date:2026-01-09 02:57 praise: views:322
- 韩国真顶流，突然去世
- 来源：中国新闻周刊 为何他成了“国民演员”？ 2025年12月30日午后，74岁的安圣基在首尔家中进食时，食物突然堵塞气道。紧急送医后，他陷入昏迷，并于2026年1月5日在医院离世。这位被誉为 ...
- date:2026-01-09 02:51 praise: views:504
- 羽超联赛冠军赛：厦门银行3比1战胜辽宁极兔夺冠
- 来源：直播吧 直播吧1月2日讯 羽超联赛冠军赛，厦门银行3比1战胜辽宁极兔夺冠。 1、何济霆/林祥毅 13-15，16-14，12-15任翔宇/谢浩南 2、安东森 15-7，17-15刘洋名 ...
- date:2026-01-09 02:33 praise: views:1519
- 特朗普称已抓获委内瑞拉总统
- 新华社快讯：特朗普称已抓获委内瑞拉总统。 相关新闻 美媒说特朗普下令打击委内瑞拉 马杜罗宣布国家紧急状态 特朗普绕过国会袭击委内瑞拉 ...
- date:2026-01-09 02:10 praise: views:1086
- 全球首台双臂协作巡操机器人“钧仪”亮相，上岗配电间
- IT之家 12 月 1 日消息，优艾智合机器人今日公布了全球首台双臂协作巡操机器人“钧仪”。在位于南方电网广东广州供电局的一座 220 千伏变电站高压室内，“钧仪”正在进行高危环境下的巡检操作，通过高 ...
- date:2026-01-09 02:07 praise: views:2693
- 抬头看！2026年首个“超级月亮”现身夜空
- 今晚3日晚） 2026年首个“超级月亮”现身夜空 △北京：2026年首个超级月亮现身天宇 🌕️ 今年首个“超级月亮”现身 满月美图快收藏 “超级月亮”在天文上被称作近地点满月 即月球 ...
- date:2026-01-09 02:01 praise: views:1786
- 一夜之间，金价突变！中国资产大爆发
- 来源：FM93交通之声 今天1月3日） 据每日经济新闻报道： 当地时间1月2日 美股高开低走 纳指一度涨超1% 截至发稿转跌 美股芯片股普涨，费城半导体指数一度涨超4.5%，英伟达、 ...
- date:2026-01-09 01:17 praise: views:938
- 马杜罗被控四罪
- 据新华社消息，美国司法部长邦迪3日通过社交媒体发布消息说，马杜罗及其夫人已在美国纽约南区联邦地区法院被起诉。邦迪没有使用马杜罗的委内瑞拉总统头衔。 邦迪称，马杜罗被指控犯有“毒品恐怖主义阴谋罪、 ...
- date:2026-01-09 00:43 praise: views:2624
- 马杜罗证实近日曾与特朗普通话
- 当地时间12月3日，委内瑞拉总统马杜罗在一场公开讲话中确认，约十天前，他已与美国总统特朗普进行电话通话，并形容交流“在相互尊重的氛围中进行”，显示双方有意开启对话渠道。 马杜罗表示，这次通话是相 ...
- date:2026-01-09 00:27 praise: views:2862
- 羽超联赛冠军赛：厦门银行3比1战胜辽宁极兔夺冠
- 来源：直播吧 直播吧1月2日讯 羽超联赛冠军赛，厦门银行3比1战胜辽宁极兔夺冠。 1、何济霆/林祥毅 13-15，16-14，12-15任翔宇/谢浩南 2、安东森 15-7，17-15刘洋名 ...
- date:2026-01-09 00:19 praise: views:1075