AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该
...
2026-01-08 13:14
633
焦点
胡彦斌承认恋情口碑滑坡，前女友拆人设，竟还有网红女友？
2025年11月23日胡彦斌认爱易梦玲，十年深情人设却被前女友手撕——“书里写的全是假的！”这反转也太猝不及防了。其实这俩人的绯闻早有苗头。上个月就有网友晒出马尔代夫海边照片，俩人牵手拥抱还亲上了，画
...
2026-01-08 12:51
2794
张帅复仇夺冠达成两项个人成就，36岁中国老将陷不讲武德引争议
当张帅在日本横滨顺利夺冠后，球迷和网友们再次对这位36岁的中国金花竖起了大拇指！虽说以张帅的排名和实力底蕴，亮相横滨这种50级别的赛事，被认为夺冠概率极大，可是看到她决赛的对手是韩国姑娘具妍玗后，大家
...
2026-01-08 12:03
2876
受降雪影响 辽宁多处高速路段实施交通管制
记者从辽宁省高速管理部门了解到，截至12月4日10时08分，辽宁省高速公路受降雪影响，沈阳、本溪、丹东、鞍山地区部分收费站交通管制。 其中，入口关闭的收费站：大东港疏港高速全线，新丹高速全线，丹
...
2026-01-08 12:00
1372
TA：维尔茨就像刚到阿森纳的皮雷，需要的是时间、空间和信任
利物浦客场2-0战胜西汉姆联，赛后，The Athletic发文对维尔茨本场表现进行了分析，称维尔茨本场表现出色，他就像刚加盟阿森纳的皮雷一样，需要时间适应。The Athletic称，常规时间还剩
...
2026-01-08 11:59
347
卡莱罗：被莱万特解雇这样的结局让人不快，但我心中唯有感激
在莱万特俱乐部正式宣布解雇决定几分钟后，刚在布尼奥尔体育城带完训练课的胡利安-卡莱罗被媒体拍到并接受采访。卡莱罗面带微笑表示，虽然对这样的结局感到“不快”，但他心中唯有感激。卡莱罗坦言：“遇到这种事总
...
2026-01-08 11:56
2210
小布夺冠获澳网亚太区外卡赛冠军，中国选手保持三大纪录
上周在成都举办的澳网亚太区外卡赛决赛中，蒙古族选手布云朝克特以6：4 6：2完胜日本选手桑蒂兰，在获得冠军的同时，收获了一张宝贵的澳网外卡，得以直接参加2026年澳网正赛。值得一提的是，这是时隔七年之
...
2026-01-08 11:37
759
中国男篮G2vs韩国前瞻：赵睿有望复出 双塔优势+比拼三分争胜
尽管中国男篮在主场五棵松仅以76-80惜败韩国男篮，但最多时刻落后19分的困境，以及被广泛看好却主场输球的遗憾，均是给中国男篮拉响警报。如今中国男篮需要在第二场全力争胜，想要赢球需要做好四大方面的工作
...
2026-01-08 10:58
2481
近视就不会老花吗？哪些人群老花更早？医生解答
近视就不会老花吗？哪些人群老花更早？医生解答2025-12-05 10:52:56 来源：央视新闻客户端 作
...
2026-01-08 10:51
479
三战102分比肩库里！湖人里皇剑指2.87亿 美媒晒他与科比数据力挺
没有勒布朗-詹姆斯，东契奇、里夫斯联手依旧拿到大胜，这两人又都上20+，对阵鹈鹕与上一场对阵独行侠一样，东皇+里皇两人都上30+，湖人豪取七连胜稳居西部次席，里夫斯本赛季的成长过于喜人。东契奇35分钟
...
2026-01-08 10:46
2819