- AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
- 机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该 ...
- date:2026-01-07 03:13 praise: views:1289
- 揭秘袁家班：袁祥仁与袁和平兄弟联手打造的动作江湖
- 1月1日晚，导演李力持在微博中发文称，香港知名演员、武术指导袁祥仁在新年第一天的中午因病去世，其丧礼定在2月1日。 关于袁祥仁，许多年轻观众的第一印象是那个在《功夫》里拿着《如来神掌》的老乞丐。 ...
- date:2026-01-07 03:11 praise: views:2027
- 美军突袭委内瑞拉，“小李子”被“困”加勒比海岛屿
- 据环球时报援引美国《人物》杂志网站等媒体1月3日报道，受美国对委内瑞拉突然发动军事行动影响，好莱坞影星“小李子”莱昂纳多·迪卡普里奥滞留在加勒比海岛屿，未能出席当天在美国加州举行的一场颁奖典礼。▲ ...
- date:2026-01-07 03:00 praise: views:1149
- 瑞士检方对火灾酒吧经营者展开刑事调查
- 当地时间1月3日，瑞士瓦莱州检方表示，已对发生火灾的克朗-蒙大拿镇“星座”酒吧的经营者展开刑事调查。 该酒吧经营者是一对法国夫妇，他们被控过失杀人、过失致人身体伤害和过失引发火灾三项罪名。火灾发 ...
- date:2026-01-07 02:47 praise: views:2568
- 破禁忌！93岁胡枫执意为老友扶灵，临终一幕让刘德华都送花圈
- 93岁胡枫冒忌清晨扶灵刘德华花圈排第一现场挤满两百排红磡殡仪馆7月5号天刚蒙亮就被堵死，守门保安说凌晨四点半第一拨花圈就到了，胡枫六点五十准时下车，黑西装搭白手套，墨镜被徒弟接过去擦得锃亮再戴回，97 ...
- date:2026-01-07 02:06 praise: views:1756
- 俄表示将继续支持委内瑞拉维护国家主权
- 来源：财联社 财联社1月3日电，据新华社，俄罗斯外长拉夫罗夫3日与委内瑞拉副总统兼石油部长罗德里格斯通电话，表示俄方将继续支持委内瑞拉维护国家主权和利益。 俄外交部在社交媒体发布的消息显示，拉 ...
- date:2026-01-07 01:30 praise: views:1514
- 比亚迪登顶全球电动汽车销量榜
- 来源：财联社 财联社1月2日电，据多家媒体最新消息，中国比亚迪已超越特斯拉，登顶全球电动汽车销量榜首。比亚迪1月1日宣布，2025年其纯电动汽车销量达到226万辆，较2024年增长近28%。与此 ...
- date:2026-01-07 01:23 praise: views:2551
- 委内瑞拉要求美方立即释放马杜罗夫妇
- △委内瑞拉外长希尔资料图） 当地时间1月3日，委内瑞拉外长希尔发布声明称，委内瑞拉遭受突然袭击，将行使自身权利。 声明要求美方证明总统马杜罗的生存情况，并称美国必须对马杜罗人身安全负责，立即释放马 ...
- date:2026-01-07 01:07 praise: views:2395
- 山东威海通报“14岁初中生在校体测倒地后猝死”
- 威海高新区发布消息，近日，有媒体报道威海高区山大实验学校一14岁初中生在校体测倒地后猝死。高区成立联合调查组，第一时间开展调查。经调查，2025年11月7日下午，威海高区山大实验学校按教学计划组织初四 ...
- date:2026-01-07 01:06 praise: views:133
- 没人配教我做事！杨立昆离职后怒斥汪滔：我绝不闭嘴，因为我才是对的
- 作者 | 辰辰出品 | 网易科技离职后的AI教父杨立昆Yann LeCun），选择亲手撕碎最后的体面。在接受《金融时报》专访时，他毫不留情地揭开了老东家的伤疤：Meta为了在军备竞赛中追赶OpenAI ...
- date:2026-01-07 01:02 praise: views:2597