Meaning it has no episodic memory of any of those analyses that it has done. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		spullara 18 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... Meaning it has no episodic memory of any of those analyses that it has done.

gwern 18 days ago [–]

You didn't say anything about 'episodic' and that's irrelevant to the point even if its long-term memory from training didn't count.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact