AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该
...
2026-01-03 15:26
1142
时尚
TA：曼联展现出了韧性，但他们还需提升运动战创造机会的能力
北京时间11月30日，英超第13轮，曼联客场2-1战胜了水晶宫。赛后，The Athletic发表专题文章，分析了这场来之不易的逆转胜利对曼联及主帅鲁本-阿莫林的意义，文章指出，这场胜利的关键在于曼联
...
2026-01-03 14:57
2765
央企“创二代”阿维塔闯港股，资本买账吗？
股改之后不到2个月，阿维塔发起了冲击上市的号角。11月27日深夜，阿维塔科技重庆）股份有限公司简称“阿维塔”）向港交所提交上市申请书，联席保荐人为中信证券、中金公司。这意味着阿维塔开启资本市场征程，迈
...
2026-01-03 14:57
716
皇马爆发2内讧：阿隆索禁止熊皇发角球+后者很不爽 副队长闹离队
当皇马战绩不佳的时候，更衣室里便会时不时地传出一些内讧，而这有可能让主帅下课。目前，阿隆索就遇到了这样的困境--皇马2位大佬似乎都已经与他彻底撕破脸。与阿隆索矛盾最大的自然是维尼修斯。今日凌晨，皇马1
...
2026-01-03 14:54
1214
俄方：乌克兰跨年夜袭击致超20人死亡，已刑事立案
综合俄新社等媒体报道，俄罗斯外交部发言人扎哈罗娃1月1日在社交平台上发帖，谴责乌克兰对赫尔松地区有关目标发动袭击。 扎哈罗娃当天在帖子中提到，乌克兰在跨年夜对赫尔松地区一家咖啡馆发动袭击，造成2
...
2026-01-03 14:30
993
吉林男子在两地杀人，已被抓获
来源：长岭县公安局 2025年12月1日，我县长岭镇发生一起刑事案件，致1人死亡。接警后，公安机关立即组织开展侦查，确定犯罪嫌疑人为姚某(男，34岁)。经进一步工作，12月2日在通榆县发生的致1
...
2026-01-03 14:27
2975
“太空应急大考”！神20返回舱玻璃裂纹是个三角形
神舟二十号载人飞船疑遭空间微小碎片撞击，载人飞船系统总设计师贾世锦第一时间收到现场照片：“有一个三角形的痕迹，尺寸并不是很大。”十多个玻璃行业专家对损伤情况进行研判，认为肯定出现了裂纹，且有贯穿性的裂
...
2026-01-03 13:52
2662
米体：路易斯
意甲第13轮，国米客场2-0比萨，路易斯-恩里克首发出战，下半场被换下。赛后《米兰体育报》表示，路易斯-恩里克表现欠佳，没能把握住这次宝贵的首发机会。报道称，比萨的比赛本可以成为路易斯-恩里克展现进步
...
2026-01-03 13:44
1425
还得是肖战，这才叫顶流，《得闲谨制》两天预售票房破3千万
肖战定档于12月6日上映的新片《得闲谨制》，自28日起就在紧锣密鼓的宣发当中。这部电影项目由“正午阳光”主控制作出品，自2024年3月公开发布项目信息后，一直维持着低调神秘的作风。电影从项目启动到20
...
2026-01-03 13:39
2111
米兰冬奥会火种抵达罗马
当地时间12月4日傍晚，2026年米兰-科尔蒂纳冬奥会火种抵达罗马。 此前，米兰冬奥会火种于11月26日在奥运会发源地——希腊伯罗奔尼撒半岛的古奥林匹亚遗址采集，并于12月4日当天交接给米兰冬奥
...
2026-01-03 13:36
1219