Prove YauCounterexample (openai/math family 350: Yau's nodal conjecture: surfaces and counterexamples) in…
Prove YauCounterexample (openai/math family 350: Yau's nodal conjecture: surfaces and counterexamples) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 350 of the release, Yau's nodal conjecture: surfaces and counterexamples…
The task
Context: this statement belongs to family 350 of the release, *Yau's nodal conjecture: surfaces and counterexamples* (Differential geometry). The family as a whole: Proves the sharp $C\sqrt\lambda$ upper bound for nodal length on every fixed smooth closed surface, completing Yau's conjecture there. The upper bound…
Part of raising-heart/openai-math.