开源动态8

Claude挑战黎曼猜想取得重大突破

PaperAgent2026-08-11

AI 摘要

Anthropic让Claude挑战黎曼猜想，虽未证明，但把零点在临界线上比例下界从41.6%提升到67.2%。多智能体自主协作，经严格验证，是AI数学里程碑。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

7人5个月 Anthropic造出Git替代品

Anthropic因AI编程规模暴涨，原有Git架构无法满足超大型单体代码仓库的需求，7人工程师团队借助Claude，耗时5个月从零开发出内部源代码控制系统Scion及配套工具，并完成全部迁移，本文分享了整套设计思路与工程实践。

本文爆料Anthropic风控动态，上半年封禁1140万疑似数据蒸馏账号，申诉胜诉率仅10%，大量正常用户被误杀，同时对比了中外大模型的使用体验差距。

本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。

本文报道OpenAI发布数学难题挑战后，人类研究者联合开源社区AI智能体蜂群，仅24小时就将OpenAI第109号整数乘法下界难题的核心参数实现数亿倍突破，展现了人+AI协作的去中心化科研新范式。