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