Anthropic用未发布Claude尝试黎曼猜想，意外改进零点下界
Absolutely insane. This might be the clearest glimpse yet of how AI will transfo…
AI在数学研究上取得意外突破，展示了自主科学发现的潜力，做AI for Science或关注模型推理能力的同学值得关注。
Absolutely insane. This might be the clearest glimpse yet of how AI will transform scientific discovery.
绝对疯狂。这可能是迄今最清晰的一瞥，展示了AI将如何改变科学发现。
Anthropic asked an unreleased version of Claude to take a real stab at the Riemann Hypothesis, one of the most famous unsolved problems in mathematics.
Anthropic让一个未发布的Claude版本真正尝试攻克黎曼猜想，这是数学中最著名的未解问题之一。
It failed. But while failing, Claude unexpectedly improved a longstanding lower bound for the proportion of zeros of the Riemann zeta function known to satisfy the hypothesis, from 41.6% to 67.2%.
它失败了。但在失败过程中，Claude意外地改进了黎曼zeta函数满足该猜想的零点比例的一个长期存在的下界，从41.6%提高到67.2%。
Claude coordinated 60 subagents, tested hundreds of ideas, searched the literature, challenged its own proof, and formalized the result in Lean. This is what the beginning of autonomous AI-driven scientific discovery looks like.
Claude协调了60个子代理，测试了数百个想法，搜索了文献，挑战了自己的证明，并在Lean中形式化了结果。这就是自主AI驱动的科学发现的开始。
Unironically, the Rienann hypothesis will probably be solved in the very near future.
毫不讽刺地说，黎曼猜想很可能在不久的将来被解决。
I am speechless.
我无言以对。
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力