IS HALLUCINATION-FREE AI CODE POSSIBLE?

Summary from the TLDR AI newsletter

While verification methods will soon be able to pick up almost all logical flaws in some fields, and foundational models will get better, they may still struggle to produce 'correct' code.