Zezheng Song

A single neural operator can now span disparate plasma regimes, cutting 2D magnetohydrodynamics prediction error by over an order of magnitude while generalizing to unseen physical parameters without retraining.

Formalization is a major bottleneck in theorem proving, with performance varying dramatically across mathematical domains and problem presentations.