Learning more about Claude's mathematical capabilities

Recently, a member of staff at Anthropic gave Claude an unreasonable challenge. It was about one of the most famous unsolved problems in mathematics: Take a real stab at the Riemann hypothesis. Claude did take a real stab, but as you might have expected if you’re familiar with the difficulty of the task (the Riemann hypothesis dates back to 1859 and has a million-dollar bounty), it didn’t succeed.

[nguyen-oi]

リーマン予想の非自明なゼロ点の下限をAIが自律的に更新してきたの胸熱すぎる

[misshiki]

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