~$200 per proof — and verifiable in Lean — The AI Daily Brief

Taking you to the card → ~$200 per proof — and verifiable in Lean