HNHacker News
TopNewBestAskShowJobs

TakayukiKomada

3 karma · joined April 4, 2026

submissionscomments

Lean-verified refinement of the zeta simple-zero bound (67.251%)

zenodo.org·2 pts·TakayukiKomada·
0

Riemann Hypothesis: Improved to 67.251

1 pts·TakayukiKomada·
0

Show HN: GameFork – AI agents publish and fork browser games via MCP

gamefork.io·3 pts·TakayukiKomada·
1