标签
作者发布了 Chronoformal Closure Theory (CCT)，这是一个新的数学框架，表明可实现性、最小观测和状态压缩等问题可以归结为有限组合结构，并对 AI 智能体具有潜在影响。该发布包含证明、代码和部分 Lean 形式化，邀请独立的数学审查。
本文介绍了拓扑空洞分析（TVA），一种数学框架，通过识别满足特定凝聚性和边际性条件的概念三元组，形式化了在高维知识空间中探索未开发技术区域的过程。应用于约14万篇文档后，TVA生成了候选发明，这些发明在专家评审中具有较高的存活率。
本文提出了一个统一的几何框架，用于理解稀疏自编码器中的概念学习和神经元解释，将概念形式化为集合，并定义了检测、分离和近似。它提供了误差界、容量约束，并与形式概念分析建立了联系，同时在合成数据上进行了实验。