Asgar Jamneshan等人研究了有界指数群的Gowers范数逆理论,提出了一个定理,证明了有限阿贝尔群的逆定理。该研究采用遍历理论的方法,解决了以往研究未涵盖的情况,并提出了新的代数结构和性质。
本研究引入定向非交换单体算子,构建了多维组合嵌入的新代数结构,解决了统一基础问题,展现了结合性和一致性,兼容现代机器学习架构。
本研究提出阿尔佩代数作为一种范畴理论框架,旨在统一经典代数结构与现代人工智能需求,证明了存在满足内部通用属性的固定点,并探讨其在计算应用中的潜在影响。
本文探讨了机器学习系统的各个元素及其关系,提出了优化问题的新视角,填补了转化方法的不足,并深入分析了代数结构与单子性质,具有重要意义。
三周前,我启动了一个合作项目,结合专业和业余数学家、自动定理证明器、AI工具和Lean证明助手,研究4694个幺半群等式定律的蕴含关系。项目已完成99.9963%,仅剩少数未解决。我们利用Lean和视觉工具分析这些关系,发现了新的代数结构,如“Asterix”和“Oberlix”定律。尽管AI工具有辅助作用,但传统自动定理证明器在核心问题上更有效。项目进展顺利,参与者多样,贡献通过Github管理。
研究发现,Transformer模型在基本数学任务上表现良好,但在未见过的长输入上泛化能力不足。虽然尝试通过修改位置嵌入和引导数据来改善,但未能解决根本问题。模型在未见输入上仍能学习代数结构,显示出改善泛化的潜力。
完成下面两步后,将自动完成登录并继续当前操作。