OpenAI published machine-generated mathematical proofs formalized in Lean on October 6, 2026, which Ethereum researcher Justin Drake cited as evidence of advancing mathematical superintelligence

From the articleVitalik Buterin urges calm as AI raises new fears over Bitcoin and Ethereum cryptography securityAlso in 'Don't rush anything': Vitalik Buterin warns against hasty wallet migrations amid growing AI threats