Jonathon's AI Wiki
Search
Search
Dark mode
Light mode
Explorer
lean
1 item with this tag.
Aug 11, 2026
Claude Improves a Riemann Zeta Bound — 41.6% to 67.2%
mathematics
research
riemann-hypothesis
subagents
verification
lean
formal-proof
unreleased-model
claude-code
anthropic
official-source