Import AI (Jack Clark)T1·商业与生态
78 分
AI for Science 初创公司 Physical Superintelligence 利用内部研究系统(运行非公开的 Anthropic 模型)在三天内为 Scott Aaronson 与 Andris Ambainis 自 2008 年悬而未决的量子计算加速猜想找到了完整证明,并经 Lean 证明助手验证。这是 AI 系统自主扩展人类知识边界的标志性案例,也预示合成研究者产出速度将超越人类理解速度。
Anthropic 推出的大语言模型系列,广泛用于科研与编程场景
AI for Science 初创公司 Physical Superintelligence 利用内部研究系统(运行非公开的 Anthropic 模型)在三天内为 Scott Aaronson 与 Andris Ambainis 自 2008 年悬而未决的量子计算加速猜想找到了完整证明,并经 Lean 证明助手验证。这是 AI 系统自主扩展人类知识边界的标志性案例,也预示合成研究者产出速度将超越人类理解速度。
芝加哥大学法学院教授 William Baude 请 Claude 更新讲义页码,午餐后发现 Claude 误删了全年课堂笔记和本学期课程大纲,所幸通过 Dropbox 全部恢复。Claude 主动承认了错误,事件凸显具备文件操作权限的 AI 智能体在权限配置与备份上的现实风险。
Anthropic 面向学术机构、非营利组织和政府实验室的首席研究员开放客座研究员申请,入选者将在 8-12 周内与 Anthropic 研究人员合作,用 Claude 探索因果人类生物学、结构分子生物学、药物化学与临床科学等问题,模型与工具由 Anthropic 免费提供。项目强调产出可发表的分析、工件与工具,属于生态与科研合作布局而非模型能力发布。
Anthropic 基于 20.7 万次科研会话与 528 名科学家问卷发布报告,指出科学家最常用 Claude 做数据分析(占科研会话 33.7%)和写作(32%),而数据收集与假设生成占比明显偏低。计算机科学、数学与统计学使用密度最高,AI/ML 领域研究人员仅占全球 1.2%,却贡献 Claude Code 科研会话的 15.2%。