Will someone strengthen our Goodhart's Law result?
7
closes 2024
51%
chance

We (Thomas Kwa and Drake Thomas) have a Lesswrong post where we make a toy model for Goodhart’s Law, and prove things about the quantity $Q = \lim_{t \to \infty} E[V | X + V > t]$ when X and V are independent variables.

This market resolves YES iff someone other than us (a) substantially strengthens one of our results, or (b) treads nontrivial ground in the nonindependent case. The work must be published by resolution date.

Examples of work that would result in YES resolution:

• Criterion (a): Weakening “subexponential” to “long-tailed” or “heavy-tailed” in our proof for when Q=0. (This would require some regularity condition.)

• Criterion (a): Weakening our light-tailed condition in our proof for when Q=infinity

• Criterion (b): Proving that Q=0 or Q=infinity in any case more general than an explicitly parametrized class of joint distributions, such that Drake and I couldn’t prove it ourselves in 15 minutes.

• Criterion (b): Proving that Q=0 or Q=infinity in a toy model of AI alignment through oversight that we find insightful, even if the proof is easy.

The resolution criteria may change to keep the spirit of the question, or to discourage manipulation. I will not trade in this market.

Get Ṁ500 play money

## Related questions

Is Max Tegmark's mathematical universe hypothesis correct?
Is the Strong Exponential Time Hypothesis true?
Floffinou
52% chance
Is Goodman's Conjecture true?
Plasma Ballin'
70% chance
Is string theory correct?
metachirality
29% chance
If P=NP is proven, will the first proof be constructive?
N.C. Young
66% chance
Is Rudin's conjecture true?
Plasma Ballin'
68% chance
Is Yitang Zhang's preprint on Landau-Siegel zeros correct?
Loppukilpailija
21% chance
Will tailcalled make a post providing evidence that the EQ-SQ theory is due to measurement bias?
jackson polack
62% chance
Is the sunflower conjecture true?
Plasma Ballin'
71% chance
Is the 1/3–2/3 conjecture true?
Plasma Ballin'
67% chance
Is Beal's conjecture true?
Plasma Ballin'
60% chance
Is the strong Rudin's conjecture true?
Plasma Ballin'
63% chance
Is the union-closed sets conjecture true?
Plasma Ballin'
74% chance
Is the Kakeya conjecture true?
Plasma Ballin'
74% chance
Is the Continuum Hypothesis true?
Plasma Ballin'
51% chance
Is Conjecture 8.4 of "Proximity Gaps for Reed–Solomon Codes" true?
Bolton Bailey
51% chance
How many of Landau's Problems are true?
Is the (n,k)-Besicovitch conjecture true?
Plasma Ballin'
72% chance
Is the lonely runner conjecture true?
Plasma Ballin'
84% chance