➡️
继续阅读
-
Claude完成费马大定理首个形式化验证：11天超越人类十年预估工期
Claude借助Lean证明助手，仅用11天完成费马大定理的形式化验证，产出1300万行代码，证明约三万条定理，远超人类预估的10年工期。这冲击了传统同行...
-
A社承认Claude安全对齐存在缺陷，但“尚无解决方案”
Anthropic研究员Jacob Coxon离职，指责OpenAI和Anthropic为追逐超级智能而拿人类生命冒险。Anthropic对齐负责人Eva...
-
Cohere称AI主权很重要——但它刚刚将新翻译模型限制为商业使用
Cohere发布开源权重翻译模型North Small Translate 1.0，支持50多种语言，总参数2180亿。非商业用户可在Hugging Fa...
-
普信集团将更多Claude引入其投资流程
普信集团扩大与Anthropic的合作，将Claude引入投资团队。投资经理和分析师使用Claude Cowork整合复杂信息、处理多步骤任务，开发者使用...
-
Perplexity 信任 GPT-6 Astra 处理端到端系统
Perplexity联合创始人Johnny Ho表示，模型编程能力提升会直接改善其搜索引擎，使其能更好地检索并简洁总结网络与内部信息。真正挑战在于将信息能...
-
我的育儿理念
全是大话
