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

AI research advances and the benchmarks used to measure progress.

The largest smart-contract blockchain and its native asset ETH, covering protocol upgrades, staking, fee economics and institutional adoption.