AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验 机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该 ... 探索 2026-01-06 249 阅读全文
韩国联合参谋本部：朝鲜发射弹道导弹 当地时间1月3日，据韩国联合参谋本部消息，朝鲜向“东海”即日本海）发射弹道导弹。 目前朝鲜官方暂未就此发布消息。总台记者 董海涛） ... 时尚 2026-01-06 97 阅读全文
“不是智力缺陷，就是被霸凌了”，女孩晚会献舞，满地打滚太心疼 到了节假日，不少学校都会组织晚会，给学生一个放松的机会，同时也给了不少有才艺的同学，一个展示自我的舞台，按理说多数学生都是很期待这种晚会的，就算自己没什么才艺，起码也能欣赏一下其他同学的节目。跟同学们 ... 娱乐 2026-01-06 21 阅读全文
事关中韩关系，李在明打了个比喻 据韩联社报道，5日，韩国总统李在明出席在北京钓鱼台国宾馆举行的中韩商务论坛，并在致辞中强调两国应携手开辟合作新航道。 1月5日，在北京钓鱼台国宾馆，李在明出席中韩商务论坛。 韩联社 李在明以 ... 综合 2026-01-06 18 阅读全文
米体：路易斯 意甲第13轮，国米客场2-0比萨，路易斯-恩里克首发出战，下半场被换下。赛后《米兰体育报》表示，路易斯-恩里克表现欠佳，没能把握住这次宝贵的首发机会。报道称，比萨的比赛本可以成为路易斯-恩里克展现进步 ... 综合 2026-01-06 74 阅读全文
家长晒孩子，网友：养废了！这要是我儿子，能打到他找不着北 在一个普通的日子里，走进一间略显杂乱的屋子，映入眼帘的是一个明显处于初中年纪的男孩子。他鼻梁上架着一副眼镜，那原本应该是知识与斯文象征的眼镜，此刻却与他整体的形象形成了一种极为强烈的反差。他的头发十分 ... 休闲 2026-01-06 65 阅读全文
泽连斯基宣布乌美将于6日举行新一轮会谈 △泽连斯基资料图） 当地时间1月3日，乌克兰总统泽连斯基表示，1月6日他将在法国巴黎与美国总统特朗普的团队举行会谈。 泽连斯基表示，他将访问巴黎，此行关键任务是就意愿联盟框架下对乌安全保障文件敲定 ... 热门资讯 2026-01-06 252 阅读全文
泽连斯基提议什梅加尔担任乌克兰能源部长 △什梅加尔资料图） 乌克兰总统泽连斯基1月3日在其官方社交平台发文称，当天与什梅加尔会面，并提议其担任乌第一副总理兼能源部长。 泽连斯基表示，感谢什梅加尔此前在国防部所做的系统性工作，并表示乌克兰 ... 热点 2026-01-06 26 阅读全文
特朗普定档！计划明年初再揭晓美联储新主席人选 来源：财联社 财联社12月3日讯编辑 赵昊）当地时间周二12月2日），美国总统特朗普表示，他计划在2026年初公布下一任美联储主席人选。 特朗普在内阁会议上说道：“我们大概会在明年初宣布某个人 ... 综合 2026-01-06 358 阅读全文
揭秘袁家班：袁祥仁与袁和平兄弟联手打造的动作江湖 1月1日晚，导演李力持在微博中发文称，香港知名演员、武术指导袁祥仁在新年第一天的中午因病去世，其丧礼定在2月1日。 关于袁祥仁，许多年轻观众的第一印象是那个在《功夫》里拿着《如来神掌》的老乞丐。 ... 探索 2026-01-06 743 阅读全文