#Lean

Claude 拉 60 個 subagents 攻黎曼猜想：67.2% 進展到底有幾實在

Anthropic 話未發布版 Claude 將黎曼 zeta 函數臨界線零點嘅已知下限，由 41.6% 推高至 67.2%。成績夠搶眼，但模型冇解開黎曼猜想，完整研究流程亦未有外界重現。真正值得睇嘅係，AI agent 已經識得分工、查文獻、互相挑錯同交出可核對成果。