在这篇论文中，我们为每个无环矩阵 $M$ 及包含顶平面的 Feichtner--Yuzvinsky 建设集 $\mathcal{G}$ 构造了一个整数切线类 $T_{M,\mathcal{G}}^{\mathbb{Z}} \in K_{\mathbb{Z}}(M,\mathcal{G})$。在可实现的情况下，这个切线类专门化为相应奇妙紧化的切丛类，且通过 Hirzebruch--Riemann--Roch 定理恢复 Chow 环的 Hilbert 系列，并满足预期的 Chern-alpha 下界。
这一成果重现了第一作者在 arXiv:2606.22650 中研究的切线类及其关键属性。值得注意的是，本文的主体由名为 Danus 的 AI 数学推理代理自主生成，且在 arXiv:2606.22650 公布之前就已解决了该问题，展示了 AI 代理在数学研究中的潜力。
我们忠实地重现了其输出，仅添加了编辑评论；该实验在附录 B 中进行了详细记录。
博主点评： 这项研究展示了人工智能在数学领域的潜在应用，尤其是在复杂问题的自主解决能力方面。AI 的参与不仅加速了研究进程，也为传统数学方法提供了新的视角和工具，值得进一步探索其在更广泛领域中的应用。