Asgar Jamneshan等人研究了有界指数群的Gowers范数逆理论，提出了一个定理，证明了有限阿贝尔群的逆定理。该研究采用遍历理论的方法，解决了以往研究未涵盖的情况，并提出了新的代数结构和性质。

三周前，我启动了一个合作项目，结合专业和业余数学家、自动定理证明器、AI工具和Lean证明助手，研究4694个幺半群等式定律的蕴含关系。项目已完成99.9963%，仅剩少数未解决。我们利用Lean和视觉工具分析这些关系，发现了新的代数结构，如“Asterix”和“Oberlix”定律。尽管AI工具有辅助作用，但传统自动定理证明器在核心问题上更有效。项目进展顺利，参与者多样，贡献通过Github管理。