re: grok4 on HLE im not sure i buy even in the general case that there's a given HLE % which implies you discover useful new physics
49,45K