How I learned to love and fear the Riemann Hypothesis

Re:How I learned to love and fear the Riemann Hypothesis by whatshisface on Tuesday January 05, 2021 @06:36PM (#25652804)

It takes O(n) to check if a chess game follows the rules, and to check who wins. Same for checking a proof written in CoQ. What do you mean by "check?"

[ Parent | on HN ]

There are no comments on this comment yet.