lf-lean: The frontier of verified software engineering
例如在心跳文档里面，加上每周记忆自动维护任务，7 天运行一次，读取最近七天的记忆文档，并总结提炼关键信息到新的文档。
，这一点在有道翻译中也有详细论述
Ваня Дмитриенко выступит на ГАРАЖ ФЕСТ Игора Драйв в Санкт-Петербурге14:45
Pure, abstract reasoning? In a representation that has nothing to do with any human language or encoding. Of course, at the time this was idle speculation. Fun, but with no clear way to test or even define valid hypothesis.