Lorraine mathematician confirms Claude's 67.25% bound on Riemann zeta zeros by another route
Youness Lamzouri has independently confirmed Claude's result that at least 67.25% of Riemann zeta zeros lie on the critical line, against 40% known since 1989. The hypothesis itself is still open. The case shows a working split for AI in mathematics, in which a model finds a candidate result and a specialist rebuilds it.
Reality
- Evidence58
- Adoption
- Not scored
- Hype gap+15
- Incentives40
- Confidence60
buildConfirmed5 publishers Six engineers shipped a fully native Shop app in 12 weeks, but the first attempt at handing the React Native code to a model produced what Shopify's engineering director called slop. Helix chunks each screen instead.
Perspective Coverage
5 publishers
- Builder
- Builder 56%
- Operator
- Operator 33%
- Investor
- Investor 11%
Reality
- Evidence70
- Adoption55
- Hype gap+20
- Incentives50
- Confidence68
Bun's million-line Rust port ran $165,000 through Anthropic's API meter
Of the ten code migrations Anthropic says finished in a month, only one carries a dollar figure: 5.9 billion input tokens and 690 million output tokens, a million lines of Rust, about 16.5 cents a line.
Reality
- Evidence45
- Adoption55
- Hype gap+30
- Incentives88
- Confidence50
buildOne report1 publisher Bun's 535,496-line Zig codebase was rewritten in Rust and validated against TypeScript tests
Jarred Sumner's four-month rewrite checked transpiled Rust against a TypeScript suite that does not depend on the implementation language, and reaching a fully passing run cost about $165,000 in tokens.
Reality
- Evidence57
- Adoption62
- Hype gap+22
- Incentives72
- Confidence63
buildOne report1 publisher AI agents ported Bun's 535,496 lines of Zig to Rust, validated by a language-independent test suite
Bun's port from Zig to Rust landed in four months because its test suite was written in TypeScript, independent of the language underneath, and because separate agents wrote the code and reviewed it.
Reality
- Evidence46
- Adoption62
- Hype gap+22
- Incentives74
- Confidence52