you dont have to take headlines literally.

		mr-pink 9 days ago \| parent \| context \| favorite \| on: OpenAI’s Navier-Stokes release included a Lean 4 f... you dont have to take headlines literally.
		help

Most people do, so the literal interpretation matters a lot