Comment by zactato

Could you just start engineering "leaks" of new proofs so that Anthropic or OpenAI just start burning $10million in compute