The only risk is pretty much the greatest risk, from what we've seen recently at...

		alasano 7 days ago \| parent \| context \| favorite \| on: OpenAI’s Navier-Stokes release included a Lean 4 f... The only risk is pretty much the greatest risk, from what we've seen recently at least.
		help