宾大实验室用 Codex 和 ChatGPT 筛选新型抗菌分子
宾夕法尼亚大学 César de la Fuente 实验室正借助 OpenAI 的 Codex 和 ChatGPT,从现存及已灭绝生物的基因组中筛选潜在抗菌分子。研究目标是用 AI 加快新型抗生素发现流程,以应对耐药性感染。

宾夕法尼亚大学 César de la Fuente 实验室正借助 OpenAI 的 Codex 和 ChatGPT,从现存及已灭绝生物的基因组中筛选潜在抗菌分子。研究目标是用 AI 加快新型抗生素发现流程,以应对耐药性感染。

OpenAI 发布 GPT-6 Astra 后,首先披露的是一项数学成果:其论文《Improved Short Gaps Between Primes》称,模型借助 Lean 形式化证明,把连续素数间距的上界从 246 降到 186。宾夕法尼亚大学统计学教授、北大 07 级校友苏炜杰称这是「真正超现实的一夜」。同日,Astra 在 3D 建模、Codex 可搜索笔记等能力也引发大量讨论。

苹果公司 CEO 蒂姆·库克在 9 月 1 日正式发文告别,并在任内最后一天发布全员信。硬件工程高级副总裁约翰·特努斯接任,成为苹果历史上第三位 CEO,库克则转任董事会执行主席。报道回顾了库克 15 年 CEO 生涯中的营收、市值、产品与服务扩张,也梳理了特努斯的履历,以及其上任后将面对的新品发布、Siri AI、高管更替和人才流失等多项考验。

IT桔子不完全统计显示,2026年1月到8月14日,12家华为系具身智能公司共完成24笔融资,估算总额约86.35亿元人民币,较去年全年口径增长超3倍。融资主要集中在天使、种子和Pre-A阶段,头部公司吸金效应明显,其中它石智航完成4.55亿美元Pre-A轮融资,昆仑行机器人也在4个月内从天使轮推进到Pre-A轮。

清华大学工业工程系研究者 Jianhao Ma 与宾大沃顿商学院教授 Yuxin Chen 发布论文,证明标准梯度下降仅靠预先设定步长序列,无法达到 Nesterov 动量方法的 O(1/T²) 收敛速度。论文给出的下界为 Ω(T^-1.9319),核心证明由 GPT-5.6 Sol Pro 在研究者监督下完成,并通过 Lean 4 形式化验证,代码已在 GitHub 公开。

宾夕法尼亚大学的 Brett Hemenway Falk 与波士顿大学的 Gerry Tsoukalas 在 arXiv 发布理论经济学论文《The AI Layoff Trap》,认为企业用 AI 裁员时,节省的人力成本全部归企业自身,但被裁员工流失的消费能力会由整个市场分摊,进而诱发集体过度自动化。论文测试了 UBI、再培训、员工分红、资本利得税与协商等方案后,认为都无法填平这一缺口,只有对自动化本身征收庇古税,才会改变企业的边际决策。作者同时指出,这是一篇理论论文,并非针对当前就业市场的实证测量。

IT桔子数据显示,2026 年 1 月至 8 月 3 日,灵巧手赛道共录得 74 起融资、47 家公司入局,已披露金额合计约 285.1 亿元,前 7 个月融资总额已超过 2025 年全年。报告将相关公司分为 15 家自研灵巧手的人形机器人本体厂商,以及 32 家独立销售灵巧手与核心零部件的第三方供应商。数据显示,本体厂商融资金额显著更高,供应商数量则更多,且两类公司的融资阶段、技术路线与竞争逻辑已出现明显分化。

在 168X 一场近两小时的对话中,前 Amber、ABCDE 与 OKX Ventures 研究与投资从业者老白表示,Crypto VC 这一形态未来会消失,发币本质上更像负债而非融资。他将行业中仍有产品市场契合的方向收敛到稳定币、Perp、RWA 和预测市场,但认为预测市场的上限明显低于 Perp。围绕 Hyperliquid、HIP-3、稳定币、AI Agent 支付、公链竞争格局与人才流向 AI 等议题,他还给出了对 founder、trader、VC 与交易所的具体看法。
