Human Consistency Cannot Validate Judges
sanmikoyejo · x · 2026-07-12
The thread points out that using human consistency to validate judges is not scalable: any configuration change invalidates previous rounds of research. The Lean kernel is also unhelpful here because it only checks whether a proof passes; it cannot determine if the proposed theorem is correct, too broad, or under-constrained. Even if the code typechecks, it could still have semantic issues.
More from Research
- Nature paper images cellular activity across all organs, revealing body-wide circuits — arjunrajlab · 2026-09-11
- SignNet 1M Dataset Released for Sign Language Research — ducha_aiki · 2026-09-11
- ECCV26 Oral: Flow Matching Enables Single-Stage Multi-View Point Cloud Registration — ducha_aiki · 2026-09-11
- InFlux++ Method Released — ducha_aiki · 2026-09-11
- Skyfall GS Uses Flux to Refine Gaussian Splatting, Accepted at ECCV 2026 — ducha_aiki · 2026-09-11
- Could 10k agents discover learning methods beyond backprop, or just tweak existing ones? — SeunghyunSEO7 · 2026-09-11