OpenAI publishes internal model's math results on GitHub
- —Release includes Lean proof formalizations, 10 reasoning summaries and problem-attempt statistics
- —Average result took about 3 hours of compute under ChatGPT Pro's thinking mode
- —Drake raised the possibility of AI breaking elliptic curves but said he is 'fairly confident' in crypto's soundness
- —The Block: Drake advised holders to move assets to fresh addresses that never exposed a public key
Why it matters: AI and quantum threats to cryptography shape long-term risk assessments for Bitcoin and Ethereum, even though no real ECDSA break has been demonstrated.
Source: TokenPost