高中生破解百年数学难题！
高中生团队破解百年数学难题：门格海绵中的扭结之谜 引言： 想象一下，一个无限复杂的几何结构，其表面积无限大，体积却趋近于零——这…
大模型定理证明新突破：SubgoalXL框架性能暴涨
引言： 在人工智能与数学的交汇点上，一项新的突破性研究正在重塑形式化定理证明的面貌。香港大学的赵学亮博士及其团队，联合AI芯片公…
费马大定理：破解千年谜题，见证数学辉煌！
导语：费马大定理，一个困扰数学界长达几个世纪的难题，终于在1994年被英国数学家安德鲁·怀尔斯（Andrew Wiles）证明。…