开源动态8
Claude挑战黎曼猜想取得重大突破
PaperAgent
AI 摘要
Anthropic让Claude挑战黎曼猜想,虽未证明,但把零点在临界线上比例下界从41.6%提升到67.2%。多智能体自主协作,经严格验证,是AI数学里程碑。
阅读原文 · PaperAgent
刚刚,Anthropic开源Claude挑战黎曼猜想的4篇论文
Anthropic开源未公开版本Claude挑战黎曼猜想的4篇论文。Claude虽未证出猜想,但将零点在临界线上的比例下界从41.6%推到67.2%。整个过程由多智能体自主完成,还建立严格验证体系。

关注公众号
扫码关注
第一时间收到每日精选
相关文章
产品应用8
中科闻歌决策机:全球首个通用决策大模型
中科闻歌决策机Decitron被称为「全球首个通用决策大模型」,它将不同能力统一到开放世界决策框架,形成闭环。8月3日其技术报告发布,公开三项核心技术,还介绍了推演流程和实验验证情况。
机器之心
产品应用7
Anthropic 发布 Fable 5.1 提示词指南
Anthropic 发布 Fable 5.1 后,同步发布《Prompting Claude Fable 5.1》提示词指南,列出 15 个 5.1 跟 Fable 5 在行为上的差异,并附修正提示词。还介绍了 Fable 5 提示词变化,以及 Fable 5.1 的新特性和应对建议。
AGI Hunt
算法论文8
ClawBench:AI agent真实网站任务集体翻车
ClawBench让AI在144个真实网站执行153个日常任务,结果惨烈,如Claude Sonnet 4.6每三任务翻车两个,GPT - 5.4仅完成10个。它还揭示AI在真实环境的问题,为评估模型提供标尺。
机器之心
产品应用8
Claude Fable 5.1发布,性能价格双优!
Anthropic发布Fable 5.1和Mythos 5.1,8项基准测试夺冠,价格最高降45%。展示科研成果,如蛋白质设计、生成金星地图等。上线反蒸馏机制,防止篡改上下文,还给出替代方案。
量子位