AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该
...
2026-01-04 04:58
1412
综合
六部门“联手” 推动扩大基层药品种类
每经记者 李宣璋 每经编辑 陈 旭 近日，国家卫生健康委、工业和信息化部等六部门发布《关于改革完善基层药品联动管理机制 扩大基层药品种类的意见》以下简称《意见》）。 《意见》提出，要加强基层药
...
2026-01-04 04:25
1798
与世界各国共享机遇、共同发展
在第八届进博会国家综合展上，贝宁国家馆的工作人员展示贝宁奶油菠萝。王 初摄人民视觉）11月29日，一列满载1000吨木薯淀粉的铁路集装箱班列从中老铁路万象南站驶出，准备发往河南郑州。这是老挝首次成列运
...
2026-01-04 04:23
2294
以军称空袭叙黎边境黎真主党武器走私路线
当地时间25日晚，以色列国防军发表声明称，当晚以色列空军根据情报，对叙利亚和黎巴嫩边境沿线叙利亚一侧的走私路线进行了打击。声明称，这些路线被用于向黎巴嫩真主党运送武器。 以军称，此次袭击是其针对
...
2026-01-04 04:13
1446
瑞士爆炸暂无中国人伤亡消息
瑞士瓦莱州警方今天1月1日）发布消息，当天凌晨，瑞士阿尔卑斯山区的滑雪胜地克朗-蒙大拿镇“星座酒吧”起火爆炸，起火原因不明。当地媒体报道称，事发时酒吧内有上百人，死亡人数可能高达数十人。目前，大规
...
2026-01-04 04:07
1995
降温后北京冰雪季启动，北京环球影城迎来第一场“降雪”
新京报贝壳财经讯记者曲筱艺）随着气温骤降，北京的冰雪季也随之启动。11月24日夜晚，从广州来北京旅游的孟晓带着孩子在首钢园一高炉科幻乐园玩到很晚，前一天晚上他们还在北京环球度假区邂逅了第一场“落雪”，
...
2026-01-04 04:06
2272
重点班，不是高考成功的唯一通道
每一位走进高中的孩子，心里都藏着一份对未来的憧憬，也许是对成绩的期待，也许是对自我突破的渴望。尤其是那条线，分开了“重点班”和“普通班”的界限，仿佛一座难以跨越的高山，遥不可及，又若隐若现。然而，现实
...
2026-01-04 03:59
627
香港大埔火灾造成12名消防员受伤，目前已全部出院
据香港商报消息，大埔宏福苑11月26日发生五级大火，截至目前造成146人死亡、79人受伤，当中包括不幸殉职的37岁消防员何伟豪，以及12名受伤送院的消防员。消防处今日1日）表示，受伤送院的12名消
...
2026-01-04 03:42
274
92%英国大学生在用 AI，高校开始重审所有作业形式
英国高校正在被一组数字逼着做出改变。根据英国高等教育政策研究所HEPI）与电子教材平台 Kortext 发布的最新调查，在接受调查的 1000 名本土及国际大学生中，92% 表示在学习或作业中使用过
...
2026-01-04 03:30
2383
仝卓的表弟已获救！此前在柬埔寨失联13天
极目新闻记者 赵贝 王鹏 见习记者 李淑仪 11月26日下午，极目新闻记者从柬埔寨华人慈善互助协会处获悉，在柬埔寨失联13天的演员仝卓表弟李怡亨已获救。 11月25日晚8时许，仝卓在个人微博
...
2026-01-04 03:28
1698