Here're some corrected proofs: osf.io/preprints/os... and this paper does a decent job of translating the theory to neural nets, arxiv.org/abs/2605.05209 and this one to biological systems arxiv.org/abs/2405.02325 (though I have reservations about free energy principle zenodo.org/records/2186... )
osf.io
OSF
