Proof scarcity to proof abundance: the impedance mismatch
Summary
Terence Tao argues that generating and verifying proofs is still incomplete until results are digested and connected to the field.
Evidence & checks
- Discovery channel
- Mathstodon
- Original material
- mathstodon.xyz
- Material type
- Source page; material type not verified
- Material basis
- Retrieval basis unknown
- Review status
- No human-review record