OpenAI research collection · 2 manuscripts · Source checked 2026-10-19
Resolves the three-dimensional Ball–Evans approximation problem: every W^{1,p} homeomorphism between arbitrary bounded domains in ℝ^(3), for 1≤ p< ∞, is a strong W^{1,p} limit of smooth diffeomorphisms onto the same target.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We resolve the three-dimensional Ball–Evans approximation problem for 1≤ p\le2. Every W^{1,p} homeomorphism between arbitrary bounded domains in ℝ^(3) is a strong W^{1,p} limit of smooth diffeomorphisms onto the same target.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
We resolve the three-dimensional Ball–Evans approximation problem for every finite p > 2. Every W^{1,p} homeomorphism between arbitrary bounded domains in ℝ^(3) can be approximated strongly in W^{1,p} by smooth diffeomorphisms onto the same target.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.
Explore the AGI Clock ↗