产品应用8

Claude挑战黎曼猜想，刷新37年数学纪录

机器之心2026-08-10

AI 摘要

Anthropic的Claude挑战黎曼猜想失败，却将黎曼ζ函数已知至少位于临界线的零点比例下界从41.6%提升到67.2%。风投合伙人称这是解析数论重大进展，不过距完整证明猜想仍有巨大差距。

关注公众号

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

公众号专辑

Cursor：晒Claude退订截图送200美元！

Cursor员工Lauren公开喊话，让考虑切换到Cursor加Grok Bot的人发取消其他订阅截图，送一个月免费Ultra（每月200美元）。大量网友行动，但很多人私信石沉大海，有人吐槽处理慢。这或是Cursor借被SpaceX收购之势进攻Claude Code。

今日，Fable 5.1被曝开启灰度测试，部分Claude用户已免费试用。推测其可能很快全量推送且不涨价。此前Fable 5因性能强受限，开发者期待5.1版。同日Claude全球大宕机，Anthropic正冲刺万亿估值。

Genspark团队开源AI办公套件GenOffice，全平台免费无广告。它界面类似微软Office，零成本上手，AI能直接编辑文档。虽处Alpha阶段，但可切换多种模型，还给出了配置第三方模型的方法。

1998年菲尔兹奖得主Gowers发现，最近AI在数学界的轰动突破，如雅可比猜想、Erdős单位距离猜想等，多靠“找反例”实现。他指出AI热衷此，因知道得多且试得起，但目前缺“嗅觉”。