Learning more about Claude's mathematical capabilities

未公開版Claudeがリーマン予想に挑戦し、副産物として零点割合の既知の下限を41.6%→67.2%へ更新。60 subagents、3100万output tokensを使用し、Lean形式証明も作成