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: After AI Solves Math, What's Left for Humans? A Multi-Round X Debate(26 posts)→

Original post →

More from AGI Musings

AGI Musings channel →