OpenAI research collection · 1 manuscript · Source checked 2026-10-19
OpenAI's result summary
Proves that full static boundary displacement-to-traction data determine both smooth real Lamé moduli on every bounded connected smooth domain in ℝ^(3), provided μ > 0 and 3\lambda+2\mu> 0 on the closure. Neither analyticity, proximity to constant coefficients nor prior knowledge near the boundary is required.
Read the manuscripts
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
MANUSCRIPT 01
Global Uniqueness for the Smooth Isotropic Elasticity Inverse Problem
We prove that the full static displacement-to-traction map uniquely determines both real smooth Lamé moduli on every bounded connected smooth domain in ℝ^(3), provided μ > 0 and 3\lambda+2\mu> 0 on the closure. This resolves the smooth three-dimensional isotropic elastic Calderón uniqueness problem under these positivity…
Full source abstract
We prove that the full static displacement-to-traction map uniquely determines both real smooth Lamé moduli on every bounded connected smooth domain in ℝ^(3), provided μ > 0 and 3\lambda+2\mu> 0 on the closure. This resolves the smooth three-dimensional isotropic elastic Calderón uniqueness problem under these positivity assumptions.
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.