Import AI· Jack Clark·· 3 天前AI 评分44
Import AI 480：AI 科学进展、Meta 触觉手套 Tactus，以及自给自足的太空经济
Import AI 480: Self-sustaining space economies; AI for science progress, and Meta builds perfect hands for a superintelligence
AI 导读
AI 科学初创公司 Physical Superintelligence 的内部研究系统运行非公开的 Anthropic 模型，在运行第三天给出 2008 年提出的 Aaronson-Ambainis 量子计算猜想的完整证明，并通过证明助手 Lean 校验，期间还两次改进结果。
来源：Import AI · importai.substack.com