「陶哲轩说数学界该学会『消化』AI 了」：森多夫猜想 9 万行 Lean 压成 1.5 万行，Palomar 登记库上线
当 OpenAI Astra 用 Lean 4 一口气证出 10 道开放数学题、Axiom Math 把 24...
分类： AGI
「不用几千个物理比特也能容错：Nord Quantique 单模网格态 SPAM 错误压到 0.1% 以下」GKP 路线的新拐点
加拿大 Sherbrooke 量子硬件公司 Nord Quantique（2026 年春获 Fidelity ...
「AI 设计催化肽逆转人体『分子锈』：75 岁主动脉组织 CML 水平降到 30 岁量级」抗衰老从阻断到修复
长生不老研究里有个被默认几十年的铁律：糖化终产物（AGEs）一旦在人体内形成就不可逆，像锈一样永久腐蚀弹性组织...
「众擎发布 EngineAI Awaken：把大模型延迟从机器人身上拆下来」分层异构多频控制哲学
8 月 19—23 日 2026 世界机器人大会期间，深圳众擎机器人发布「仿人脑」具身智能引擎 EngineA...
「当管道决定胜负:Pinecone Nexus 把检索层变成主战场」
8 月 11 日 Pinecone 把 Nexus 转入 GA（general availability），紧...
「人类数学家赢过 ChatGPT：塔拉格兰德凸性猜想的三人证明」
1995 年 Michel Talagrand 提了一个数学问题——在任意维度中，能否通过固定次数的闵可夫斯基...