Mossel-Peres Multivariable Bernoulli Factory Claim
Prior state unknown→disproved
the published multivariable claim fails; the single-variable theorem stands
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
probability-statistics / Probability
Mossel-Peres Multivariable Bernoulli Factory Claim
Mossel and Peres showed that a single-variable function admits a finite-automata Bernoulli factory exactly when it is rational, and their Theorem 2.9 claimed the same extension to multivariable functions. The multivariable claim is false, refuted by an explicit counterexample.
10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
Mossel and Peres showed that a single-variable function admits a finite-automata Bernoulli factory exactly when it is rational, and their Theorem 2.9 claimed the same extension to multivariable functions. The multivariable claim is false, refuted by an explicit counterexample.
the published multivariable claim fails; the single-variable theorem stands
Recorded attempts
Evidence graph
Connected research record
No public relationships recorded yet.