hiw3c 日报精选

Anthropic / Claude

Anthropic 的全部动态：Claude 系列模型、Claude Code、安全研究路线与公司进展的持续追踪。

已收录 1078 条 · 近 30 天 752 条 · 第 32 / 34 页

星期日 · 4 条

星期六 · 18 条
  2. Hacker News Top信号源（脚本内置抓取）18:32快照

    Claude的新系统提示确实不想重现歌曲歌词

    Anthropic发布系统提示其Claude消费者应用程序（Claude.ai和Claude移动应用程序-遗憾的是，不适合Claude Cowork或Claude Code）。我喜欢他们这样做，而且他们不仅分享当前的提示，还分享其提示的历史变化。他们曾经将所有提示保留在一个页面上，但当我今天检查时，我注意到他们已经将这些提示重新排列成一个索引页面，然后为每个

    快照阅读原文 ↗
  17. BestBlogs·AI 高分精选BestBlogs 精选02:50中文原文

    Claude 完成费马大定理的首个形式化证明

    📌 One-Sentence Summary Anthropic 的 Claude 模型成功利用 Lean 完成了费马大定理的形式化证明，生成了 1300 万行代码的验证文档，并自动化了 29，000 多个前置定理，为自动化数学证明验证带来了突破性进展。 📝 Summary 在计算数学领域取得了里程碑式成就，Anthropic 的 Claude AI 完成了

    原文 ↗