Sandberg cites Jacobian conjecture and Navier-Stokes blow-ups as brute facts without 'why'

anderssandberg · x · 2026-09-13

Responding to the complaint that AI solves without compression, Sandberg offers real counterexamples: the Jacobian conjecture counterexample and a Navier-Stokes blow-up construction, obtained without really knowing why. Some solutions may have no good reason at all—brute facts—undermining the assumption that compressive explanation is the sole value of mathematics.

Related event: Debate on X: What Remains of Human Mathematics After AI Solves Problems(26 posts)→

Original post →

More from AGI Musings

AGI Musings channel →