New Claude model improves lower bound on problem linked to Reimann hypothesis | Hacker News Reader