VibeMathedMath problems solved by AI

Autonomous Lipschitz Fast Dynamo on the Three-Torus

Does there exist a single real-valued, divergence-free, time-independent Lipschitz velocity field uW1,(T3;R3)u\in W^{1,\infty}(\mathbb T^3;\mathbb R^3), chosen independently of magnetic diffusivity, that is a fast dynamo for the kinematic induction equation on the flat three-torus? The author constructs such a field and constants ε0,γ0>0\varepsilon_0,\gamma_0>0 such that, for every 0<εε00<\varepsilon\le\varepsilon_0, the induction operator has an eigenvalue λε\lambda_\varepsilon with Reλεγ0\operatorname{Re}\lambda_\varepsilon\ge\gamma_0. Thus every sufficiently small diffusivity admits a nonzero real divergence-free magnetic field with exact exponential L2L^2 growth. The velocity is Lipschitz but not C1C^1, so this settles only the Lipschitz regularity variant; Arnold's smooth autonomous fast-dynamo problem on T3\mathbb T^3 remains open.

Result
Proved(see note)
Status
Variant only
AI contribution
AI-assisted
Method
Argument
Field
Dynamo theory; spectral PDE
Posed by
V. I. Arnold
Year posed
1994
Years open
32y
Solved
2026-08-03
Model
GPT-5.5 Pro, GPT-5.6 Sol
Vendor
OpenAI
Collaborators
Lukas Niebel
Verification
Unreviewed
Publication
Preprint
Significance
Disclosed cost
Wikipedia
No dedicated article

What was actually shown

Lipschitz velocity; the smooth autonomous fast-dynamo conjecture on T^3 remains open.

What the AI did

During exploration, GPT-5.5 Pro and GPT-5.6 Sol helped identify a candidate fast-dynamo construction. They were later used to check calculations; identify errors, inconsistencies, and gaps in preliminary arguments; support development of some arguments; and assist with drafting and revision. The author states that he critically reviewed and verified every mathematical claim, calculation, and AI-generated suggestion and takes full responsibility for the manuscript.

Verification

Single-author arXiv preprint; not yet peer-reviewed, Lean-verified, or independently expert-checked.

Source

arXiv:2608.02586 - An autonomous Lipschitz fast dynamo on the three-torus

Submitted by DuskyManta279

Changelog2 changes
  • Rasmus Lindahlapproved this entry
  • DuskyManta279submitted this entry

Discussion