新闻资讯8

Claude破黎曼猜想零点比例纪录

新智元2026-08-10

AI 摘要

Anthropic员工Jarred Sumner让Claude证明黎曼猜想，虽失败但将零点比例下限大幅提升。过去37年人类数学家仅推进0.8%，Claude提升25.6%，标志AI进军开放数学研究。

关注公众号

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

公众号专辑

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

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

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

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

本文带来谷歌新发布Gemini 4 Argon大模型的多场景实测，对比竞品性能价格，验证其物理推理能力，同时曝光该模型现存问题。