Prove HotSpots (openai/math family 369: The hot spots conjecture for simply connected planar domains) in…
Prove HotSpots (openai/math family 369: The hot spots conjecture for simply connected planar domains) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 369 of the release, The hot spots conjecture for simply connected planar domains…
The task
Context: this statement belongs to family 369 of the release, *The hot spots conjecture for simply connected planar domains* (Partial differential equations). The family as a whole: Proves a strict form of Burdzy's simply connected hot spots conjecture. On every smooth bounded simply connected planar domain, each…
Part of raising-heart/openai-math.