arXiv ID:
2602.10632
arXiv 提交日期: 2026-02-11
非均匀椭圆性前沿的神经符号学探索:通过拓扑斯理论推理模型形式化夏德理论的精确研究 / The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
1️⃣ 一句话总结
这篇论文提出将数学中解决非均匀椭圆方程精确正则性问题的‘幽灵方程’方法,与基于拓扑斯理论的神经符号推理模型相结合,以自动生成机器可验证的证明,从而探索复杂物理系统分析的新范式。