LLMs are pretty good at writing small pieces of code, so I suppose they can very...

		amelius 6 months ago \| parent \| context \| favorite \| on: Andrej Karpathy: Software in the era of AI [video] LLMs are pretty good at writing small pieces of code, so I suppose they can very well be used to compose some formal logic statements.