80 亿光年外的「宇宙激光」：MeerKAT 用 5 小时抓到最远羟基巨脉泽
南非 MeerKAT 射电望远镜打出迄今最远的「宇宙激光」：一个来自 80 亿光年外合并星系的羟基巨脉泽（hy...
分类： AGI
GPT 写的证明进了 arXiv：梯度下降 40 年悬案被商用模型拿下，Lean 零 sorry
arXiv 一篇新论文的摘要里藏着一句以前从未出现过的话：「The proof was developed b...
本源量子开源「本小源」：一个 MCP，让 AI 编程工具直连量子真机
8 月 22 日，本源量子宣布自研的量子计算智能助手「本小源」完成系统性升级并正式开源，向开发者开放两大底层组...
启元 Q1/T1 开启预订：88 厘米的全身力控机器人，要卖给普通家庭了
8 月 23 日，上纬新材旗下启元机器人正式开放启元 Q1、启元 T1 双产品预订，预计 9 月首发交付。这是...
GitHub 27 万星的 Superpowers：AI 编程的战场，正从「模型」挪到「技能」
GitHub 趋势榜最近被同一个名字霸屏：obra/superpowers，一周内冲到 27 万星，据雷锋网统...
「Anthropic Claude 设计蛋白 binder：15 个靶点命中 14 个，把湿实验交给了通用模型」
# 「Anthropic Claude 设计蛋白 binder：15 个靶点命中 14 个，把湿实验交给了通用...