AINewsnow

Claude and I beat Claude's previous proof of the proportion of online zeta zeros. It's now 67.348%.

So, somebody created this website: https://www.riemannzeta.fun It's a very specific lean proof checking leaderboard, and it is based on the type of proof Anthropic used in their August (65.25%) result, and the verifier is highly structured and constrained. A proof attempts needs to finish the valid…

Read the full story at r/ClaudeAI ↗

Timeline · 1 report

  1. 2026-10-05 21:49 · r/ClaudeAI
    Claude and I beat Claude's previous proof of the proportion of online zeta zeros. It's now 67.348%.

More stories

  1. Supercharge regulated workloads with Claude Code and Amazon Bedrock — AWS Machine Learning Blog
  2. Opus 5.5 vs. GPT-6 Sol: which model won my blind taste test? — How I AI
  3. The Museum of Lost Things | Short Film by Claude (Minimax H3) NO user input. — r/ClaudeAI
  4. New agent skill: Amazon SageMaker optimized generative AI inference for your coding agent — AWS Machine Learning Blog
  5. We built a computer-use API that cuts tokens by up to 90% on repeat tasks. Plugs into Claude Code, Codex, Cursor or your own code — r/AI_Agents
  6. Analysis: Anthropic's subscriptions offer ~5x more API-equivalent value per month than OpenAI's for agentic workloads with Claude Opus 5.5 vs. GPT-6.1 Sol (SemiAnalysis) — Techmeme
  7. I let 5 AI models fight a world war. DeepSeek betrayed Claude and nuked it four times. Mistral nuked itself. — r/AI_Agents
  8. For dual DGX spark users; GLM 5.3 flash got a 50%+ performance boost — r/LocalLLaMA

Get the daily brief of stories like this at 6:30 every morning →