AI 新闻通讯聚焦数学证明、触觉手套与跨洲模型训练

Physical Superintelligence 称，其研究系统借助未公开的 Anthropic 模型，找到了一个自 2008 年悬而未决的量子计算猜想的证明，并通过 Lean 检查。Meta Reality Labs Research 公布了用于采集手部操作数据的 Tactus 手套；Core Automation 则报告在相距约 9000 英里的两个集群上训练了约 320 亿参数的模型。