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 avatarFloffinou
52% chance
Is Goodman's Conjecture true?
JosephNoonan avatarPlasma Ballin'
70% chance
Is string theory correct?
metachirality avatarmetachirality
29% chance
If P=NP is proven, will the first proof be constructive?
NcyRocks avatarN.C. Young
66% chance
Is Rudin's conjecture true?
JosephNoonan avatarPlasma Ballin'
68% chance
Is Yitang Zhang's preprint on Landau-Siegel zeros correct?
Loppukilpailija avatarLoppukilpailija
21% chance
Will tailcalled make a post providing evidence that the EQ-SQ theory is due to measurement bias?
jacksonpolack avatarjackson polack
62% chance
Is the sunflower conjecture true?
JosephNoonan avatarPlasma Ballin'
71% chance
Is the 1/3–2/3 conjecture true?
JosephNoonan avatarPlasma Ballin'
67% chance
Is Beal's conjecture true?
JosephNoonan avatarPlasma Ballin'
60% chance
Is the strong Rudin's conjecture true?
JosephNoonan avatarPlasma Ballin'
63% chance
Is the union-closed sets conjecture true?
JosephNoonan avatarPlasma Ballin'
74% chance
Is the Kakeya conjecture true?
JosephNoonan avatarPlasma Ballin'
74% chance
Is the Continuum Hypothesis true?
JosephNoonan avatarPlasma Ballin'
51% chance
Is Conjecture 8.4 of "Proximity Gaps for Reed–Solomon Codes" true?
BoltonBailey avatarBolton Bailey
51% chance
How many of Landau's Problems are true?
Is the (n,k)-Besicovitch conjecture true?
JosephNoonan avatarPlasma Ballin'
72% chance
Is the lonely runner conjecture true?
JosephNoonan avatarPlasma Ballin'
84% chance
Is the Hadamard conjecture true?
JosephNoonan avatarPlasma Ballin'
84% chance