{"id":"arxiv/2603.15073","url":"https://arxiv.org/abs/2603.15073","tags":["math.DS"],"score":0,"title":"The Evolution of Computer-Assisted Proof In Analysis","domain":"math.DS","source":"arxiv","authors":["Marek Rychlik"],"reviews":0,"subject":"math.DS","summary":"The intersection of numerical analysis and machine learning, particularly in the domain of Neural ODEs and Physics-Informed Neural Networks (PINNs), relies heavily on discrete approximations of continuous flows. However, in stiff systems, explicit discretization schemes can induce topological bifurcations, creating spurious attractors that do not exist in the underlying continuous dynamics. In this paper, we analyze a stiff 2D nonlinear system integrated via Heun's method, demonstrating how the discrete map undergoes a numerical bifurcation that renders the true equilibrium repelling along…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-16","reactions":{}}