Feb, 2024

从场论到庞加莱猜想的机器学习严谨性

TL;DR在这篇论文中,我们讨论了如何利用机器学习在自然科学中获得严谨性,通过猜想生成或通过强化学习进行验证,可以使用非严谨的方法得到严谨的结果。我们还描述了受神经网络理论启发的场论新方法,以及通过神经网络梯度下降诱导的黎曼度量流理论,其中包含了 Perelman 的黎曼流公式,该公式用于解决 3D Poincaré 猜想。