build1 distinct publisher
Palomar registers Lean proofs against a commit, and refuses to referee them
Terence Tao's new registry answers the flood of AI-generated proofs with an audit trail rather than a verdict. Half its pipeline is deterministic; the other half is a language model.
Publishers:runtimewire.com
Reality
- Evidence66
- Adoption17
- Hype gap−6
- Incentives54
- Confidence58