科学家认为火星地球化正从科幻走向严肃科学。SpaceX星舰大幅降低了发射成本，合成生物学和气候建模取得突破。路线图：先用工程气溶胶升温几十度融化冰层，再释放耐极端环境的工程微生物进行光合作用，在巨型穹顶内制造氧气。天然制氧大约需要1000年。

苏格兰选手Josh Kerr在伦敦体育场6万人见证下，以3分42秒66打破Hicham El Guerrouj自1999年保持的一英里世界纪录，快了半秒。他称这次挑战为"222计划"——需要用222秒击败纪录。领先第二名超过3秒。

AI 能写代码、能画图，但让它操作 Office 文档就抓瞎。用 python-pptx 做 PPT，50 行代码写完，标题溢出了不知道，形状重叠了不知道，全程靠猜——因为 AI 没有手伸进文档，更没有眼睛看到渲染结果。 OfficeCLI 就是为解决这个问题而生的。它自称"全球首个专为 AI ...

欧盟委员会依据数字服务法对AliExpress开出5.5亿欧元罚单，指责其未能有效遏制假货与危险品流通，显示出欧盟整顿电商生态的决心。

数学家Levent Alpoge在X上宣布，朋友"akhil"和Claude Fable共同找到了雅可比猜想的一个反例：一个3维复多项式映射具有常数非零雅可比行列式但不单射。三个不同点映射到同一输出。Grok ...

中国新一代年轻富豪正以惊人的速度崛起。相比前辈，他们更低调神秘，专注全球化市场，并推崇更灵活的管理文化，以此寻求更稳健的成长空间。 去年年初，当人工智能实验室DeepSeek在西方引起震动时，外界对其创始人梁文锋几乎一无所知。如今，随着DeepSeek完成一轮估值达710亿美元的融资，其创始人的个人财富已飙升至约380亿美元。这一数字使他远超Anthropic的达里奥·阿莫迪或OpenAI的山姆· ...

维克拉姆1号首飞即进入450公里轨道，印度由此成为全球第三个实现私人火箭入轨的国家。 火箭发射前5分钟，倒计时突然停了下来。 自动发射程序检测到技术异常，原定时间被迫推迟。控制中心排查问题并重启程序，35分钟后，维克拉姆1号从印度东南海岸的萨蒂 ...

纽约州Salamanca学区从Realbotix公司花57590美元购入了一个名为"Sally"的机器人。这家公司2024年5月还叫Tokens.com，收购了以生产RealDoll真人尺寸性爱玩偶闻名的Abyss ...

行星科学家Candice Hansen-Koharcheck于2026年4月去世。她是NASA朱诺号相机团队的负责人，也是人类历史上第一个看到"淡蓝点"照片的人。从旅行者号到卡西尼号，她用半个世纪改变了我们对太阳系的视觉认知。 右：土星及其卫星泰坦。

麻省理工学院研究发现，生酮饮食对肠道肿瘤具有双重影响：在抑制结肠癌的同时会加速小肠肿瘤生长，且该效应由脂肪代谢而非酮体驱动。

UC Berkeley数学教授Phillip Kerger用GPT-5.6 Sol Pro在148分钟内证明了一个自1996年悬而未决的凸优化下界。证明已用Lean形式化验证。他花了约10页篇幅写prompt，包括问题描述、失败思路和验证规范。 凸优化中有一个悬了30年的问题：在只能查询函数值、拿不到梯度信息的情况下，找到一个ε最优解到底需要多少次函数查询？ 1996年，Protasov证明O(d ...

特朗普白宫提词器操作员Gabriel ...