> No it’s not. In fact, much of it is formally verified, which makes it far more...

		andriy_koval 10 days ago \| parent \| context \| favorite \| on: OpenAI withdraws three mathematical results > No it’s not. In fact, much of it is formally verified, which makes it far more reliable than most human-written proofs. its formal verification on top of formalization by LLM, which could have errors.
		help