Cases
Every investigated claim, grouped by paper, most recently updated first. 5 claims in 3 papers.
A record is published only after it meets the applicable research standard and the owner approves its exact content. Candidates still under review and rejected candidates are not named.
| Claim | Finding | Verification | Development |
|---|---|---|---|
Safe implementationMalachy J. Gavan and Antonio Penta · Theoretical Economics 20(4) (2025), 1285–1322 1 claim · updated 7 November 2026 | |||
| Theorem 3 proof constructionConstruction · main resultThe four-rule message mechanism displayed in the proof implements the correspondence throughout the stated domain. | Construction failsThe displayed mechanism can select an outcome outside F at a pure Nash equilibrium. | AIPrivate humanfull source check | — |
A Qualitative Theory of Large Games with Strategic ComplementaritiesŁukasz Balbus, Paweł Dziewulski, Kevin Reffett and Łukasz Woźny · Economic Theory 67 (2019), 497–523 2 claims · updated 7 November 2026 | |||
| Theorem 1(i)Theorem · main resultUnder Assumption 1, greatest and least distributional equilibria exist. | False as statedThe literal one-way order condition admits a game satisfying Assumption 1 with no distributional equilibrium. | AIPrivate humanpartial source check | — |
| Lemma A1 proof: function-space stepLemma · auxiliary resultThe proof treats M(X)-M(X), where M(X) contains bounded measurable isotone functions, as a Riesz subspace of C(X). | Missing assumptionMeasurability and isotonicity do not imply continuity, so the asserted inclusion in C(X) does not follow. | AIPrivate humanpartial source check | — |
Stability and strategy-proofness for matching with constraints: A necessary and sufficient conditionYuichiro Kamada and Fuhito Kojima · Theoretical Economics 13 (2018), 761–793 2 claims · updated 6 November 2026 | |||
| Theorem 1Theorem · main resultA hierarchical region family admits a stable, doctor-strategy-proof mechanism. | No defect foundNo counterexample or nontrivial proof gap survived the recorded audit of the hierarchy direction. | Deep auditfull source check | — |
| Theorem 2Theorem · main resultFor a non-hierarchical region family, no stable, doctor-strategy-proof mechanism works across the full admitted domain. | No defect foundNo counterexample or nontrivial proof gap survived the recorded audit of the non-hierarchy impossibility direction. | Deep auditfull source check | — |
Finding labels are defined in Definitions. Verification shows which kinds of check confirmed a defect: the dashed "AI" tag is a separate AI recheck, which never counts as a human check; human support may be the researcher, an external person, the authors, or a qualifying human confirmation recorded privately without identifying its source. Papers are chosen deliberately, not sampled at random. These counts describe this programme's work and cannot be read as error rates in published research.