「人类数学家赢过 ChatGPT：塔拉格兰德凸性猜想的三人证明」
1995 年 Michel Talagrand 提了一个数学问题——在任意维度中，能否通过固定次数的闵可夫斯基...
QianXun
「量子计算走出单芯片，IBM 把两台冰箱并到一起」
8 月 19 日 Yorktown Heights, N.Y.——IBM 把两个模块化低温系统（cryogen...
「从 demo 录像到时产一台：Figure 把人形机器人搬进了工厂车间」
四月底 Figure AI 抛出一份不太像机器人公司的成绩单：旗下 BotQ 工厂在 120 天内把 Figu...
「海淀把 AI4S 装进一个 234 万平米的物理盒子」
8 月 22 日，2026 科学智能大会在北京中关村国际创新中心开幕。第二天，海淀区把筹备了三年的 AI4S ...
神秘模型 Ox Alpha 限免上架，跑分超 Claude，线索指向智谱
全球最大的 AI 模型聚合平台 OpenRouter 在 8 月 20 日悄悄上架了一个匿名模型，叫 Ox A...
JWST 把早期星系质量乘了 4——被「高楼」遮蔽的小恒星一朝现身、「impossibly early」问题再次加深
8 月 22 日 Nature Astronomy 同一期发了两篇论文:Cheng 等人(Leiden 一作)...