AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该
...
2026-01-10 05:12
694
焦点
石景山这个区域整治提升项目基本完工——
2024年6月，苹果园街道远洋春秋里商务楼宇周边启动改造详见）。历时4个多月，目前远洋春秋里项目已经基本完工。作为苹果园街道疏解整治促提升的重要项目，苹果园街道工作人员多次现场调研，结合居民需求进行改
...
2026-01-10 05:11
1869
中国航展｜歼
歼-35舰载型战斗机首次公开。备受瞩目的歼-35战斗机又有新消息，歼-15总设计师孙聪院士11月12日介绍称，歼-15和歼-35两型飞机都会上航母。在航展现场，澎湃新闻www.thepaper.cn)
...
2026-01-10 05:05
1045
红鹰飞行表演队蓝天作画
航展公众日第一天，空军“红鹰”飞行表演队空中高难度炫技，太“秀”了！回顾精彩现场↓↓
...
2026-01-10 04:34
1398
揭秘三体公司原CEO许垚投毒杀人案始末
在案发被捕近5年后，44岁的许垚在等待着法律的最后裁决。这位三体宇宙上海）文化发展有限公司下称“三体公司”）原CEO即“首席执行官”），于2024年3月被上海市第一中级人民法院，以犯故意杀人罪判处死刑
...
2026-01-10 03:53
152
我国居民日均“喝”油量多于喝奶量
来源：中国青年报 2024年，围绕“合理膳食、健康生活”主题，聚焦我国居民当前突出的饮食消费不合理情况，着力减少食用油，增加豆及豆制品、奶及奶制品消费等，国民营养健康指导委员会办公室组织制定了“
...
2026-01-10 03:51
1294
美国一737型客机起飞前突然“中弹” 嫌疑人尚未落网
图片来源：央视新闻客户端美国西南航空公司16日通报，该公司一架客机15日晚在得克萨斯州达拉斯市一机场起飞前突然被一颗子弹击中机身，不得不返回登机口，取消本次航班。当地警方正在调查这起安全事件。通报说，
...
2026-01-10 03:42
2194
北京产品力的绞肉机模式又升级，从璞逸丰宜开始，停不下来 ｜市场
题记：北京产品力的血风腥雨，金茂打头阵，从璞逸丰宜开始，停不下来。新一轮绞肉机模式，又开始了，很多房企和人会陆续离场……1.一直要写璞逸丰宜的公示文件，因为连续出差，还有视频拍摄急活，一直没有座下
...
2026-01-10 03:13
266
德国总统承认德国曾给欧洲带来苦难
12月4日，正在对英国进行国事访问的德国总统施泰因迈尔对英国议会两院议员发表演讲时表示，“英国和德国是紧密的盟友。鉴于德国在两次世界大战中给欧洲带来的‘难以言喻’的苦难，这一切绝非理所当然。这是一
...
2026-01-10 03:08
1603
美军居然“用”上了中国歼
原标题：美军居然“用”上了中国歼-35） 12日，中国自主研制的新一代隐形战斗机歼-35A正式亮相珠海航展。不过许多美国网民发现，1天前，美国军方下属一部门的社交
...
2026-01-10 02:47
1129