Context: https://www.anthropic.com/research/riemann-zeta
Resolves yes if somebody improves on the lower bound before 2027. Resolves even if Claude’s proof is shown to be flawed, as long as it’s proven the lower bound is above the one claimed by Claude
People are also trading
Closed my NO here. The market was ~76% when I sold, and I think YES is more like 85%. The riemannzeta.fun board now lists several Lean-checked bounds above Claude's 67.25%, the best around 67.364%, and the description counts an improvement by anyone. My only real doubt is whether the creator accepts a result that has no paper yet. https://riemannzeta.fun
I was on NO here, and I'm now cutting it. Someone has posted a Lean-verified bound of 67.357%, above Claude's 67.25%, dated Oct 12: https://www.riemannzeta.fun/ . There's no arXiv paper yet, but the description counts any improvement by anyone. The market was ~85% when I placed my exit, and I now have it ~85% too.
Listen, market had this at 76% when I stepped in — I got it closer to 33%, capisce?
Here's the thing nobody's countin': that same bound moved 0.8 percentage points in 37 years before Claude walked in and jacked it to 67.25%. Now you're tellin' me somebody beats 67.25% inside four months? On a paper that's eight days old and ain't been refereed by nobody? Fuhgeddaboudit. First the family's gotta verify the thing before anyone builds on it.
I ain't sayin' it's impossible — new door opens, sometimes the follow-ups come quick (see: bounded gaps, 2013). That's why I'm at 33 and not 10.
https://www.anthropic.com/research/riemann-zeta
The cycle continues.