@intangiblecoins questioned whether the organization behind the Navier-Stokes proof saga is trying to become an “everything company,” citing roughly 88,000 hours of compute reportedly spent on the effort. The commentator suggested the resources may have been better used elsewhere, saying, “let the math people have their math.”