AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该
...
2025-12-06 20:26
1550
热点
医院群聊“到院患者必须消费达到7000元”？昆山卫健委：正在调查核实
医院群聊“到院患者必须消费达到7000" 来源：视频综合） 8月6日，有网友发布图片称，一家医院群聊截图显示，医院相关人员要求每个到院患者必须消费达到7000元。昆山市卫健委表示，目前正在调
...
2025-12-06 20:19
1822
祝贺！侯志慧夺得巴黎奥运会女子举重49公斤级金牌
[祝贺！侯志慧成功卫冕]巴黎奥运会女子举重49公斤级比赛，中国队选手侯志慧以抓举89公斤、挺举117公斤、总成绩206公斤夺得金牌，成功卫冕！其中挺举成绩创造新的奥运会纪录！人民日报记者李硕 厉衍
...
2025-12-06 20:12
914
集体球类之光！中国女曲16年后重返奥运决赛
来源：中新体坛 北京时间8日凌晨，在巴黎奥运会女子曲棍球半决赛中，中国队经过点球大战3：2击败比利时队，闯入决赛。这是中国女子曲棍球队时隔16年重返奥运会决赛舞台，球队曾在2008年北京奥运会上
...
2025-12-06 20:06
1419
大黄鱼如何“暗中联络”？它的“语言”被破译了！
来源：光明日报你爱吃的大黄鱼，它们互相交流的“语言”被破译了？浙江海洋大学严小军教授研究团队发现了一种名为“熊去氧胆酸UDCA）”的分子，它是大黄鱼之间高效沟通的关键信号。在宁德霞浦下浒海域渔排上拍摄
...
2025-12-06 19:53
1958
医院群聊“到院患者必须消费达到7000元”？昆山卫健委：正在调查核实
医院群聊“到院患者必须消费达到7000" 来源：视频综合） 8月6日，有网友发布图片称，一家医院群聊截图显示，医院相关人员要求每个到院患者必须消费达到7000元。昆山市卫健委表示，目前正在调
...
2025-12-06 19:34
179
比了124年的项目，要被移出奥运会了？
在巴黎奥运会开始之前，6枚奥运奖牌获得者兼英国奥运奖牌纪录保持者，甚至有机会封爵的英国马术一姐、盛装舞步骑手夏洛特-杜雅尔丹，期待着能够在2024年再创佳绩。然而就在奥运会开始前一个月，有人上传视频举
...
2025-12-06 19:21
1533
新加坡媒体：拒绝男子求婚，多名印度女性被残杀
[环球时报综合报道]据新加坡《海峡时报》5日报道，近期在印度，女性因拒绝求婚而面临生命威胁的事件频发，引起社会广泛关注。在短短4个月内，仅卡纳塔克邦就发生了8起女性因拒绝求婚而被故意杀害的案件。
...
2025-12-06 18:02
2361
轻松一刻：女朋友跟别人跑了，就留了双鞋……
各位秋裤，你今年存到钱了吗？好了，今天的一刻就到这，我们下期再见~以上~逆天改命！体型差追！上班对人的伤害还是太大了学到了一种很新的约饭方式！看得出来同事很想过圣诞了体寒和体热的差距具象化了糖葫芦又又
...
2025-12-06 18:01
1920
眼睛干干的，是得了干眼症吗？
眼睛干干的，是得了干眼症吗？| 呵护眼健康2024-08-05 15:59:27 来源：健康中国微信公众号
...
2025-12-06 17:48
570