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

Overview Debates Related claims Topics Sources

On October 20, 2026, an Ethereum wallet labeled Drift Exploiter 5 deposited 25,700 to 25,710 Ether, valued at $61.5 million to $63.1 million, into Tornado Cash over approximately two hours

On July 23 and 24, 2026, an address labeled Drift Exploiter 4, linked to the Drift Protocol exploit, deposited 23,095 Ether, valued at approximately $44.4 million, into Tornado Cash

Ethereum developers scheduled the Glamsterdam upgrade for the Hoodi testnet at epoch 132,352, slot 4,235,264, on October 26, 2026, at 17:42:48 UTC.

Ethereum researcher Toni Wahrstätter suggested a 300 million gas limit could be a realistic next step after the 200 million target.

The Hoodi testnet deployment follows the Glamsterdam upgrade's earlier activation on the Sepolia testnet on October 6, 2026.

The Ethereum Foundation has not set a mainnet launch or activation date for the Glamsterdam upgrade.

EIP 7732 establishes a payload timeliness committee whose members attest to whether a builder's payload and blob data are available on time.

Mainnet activation timing for Glamsterdam will be announced once decided by client teams following post-testnet reviews.

Ethereum researcher Toni Wahrstätter identified Hoodi as the final testnet for the Glamsterdam upgrade before mainnet activation.

The Hoodi testnet gas limit will increase from 60 million to 200 million at epoch 132,352 during the October 26, 2026 Glamsterdam activation.

Hoodi node operators must update both execution and consensus clients, and validators must upgrade beacon nodes and validator clients before October 26, 2026.

The Ethereum Foundation's confirmed Hoodi client releases as of October 17, 2026, include Besu 26.10.0, Grandine, Lighthouse, Erigon 3.3.0, Go-ethereum, and Reth.

EIP 7732 introduces enshrined proposer-builder separation to move block payload exchange, commitment, and payment into the core Ethereum consensus protocol.

Mathematicians and computer scientists emphasize that automated formal checking in Lean does not eliminate the need for independent human evaluation of mathematical proofs and assumptions.

OpenAI generated formal mathematical proofs using Lean, an open-source programming language and proof assistant that checks logical correctness against strict rules.

On October 6, 2026, OpenAI published 722 AI-generated mathematical research preprints covering 372 groups of results across fields including algebra, geometry, number theory, and mathematical logic.

Mathematician Hugo Duminil-Copin stated that every major open mathematical problem he had publicly cited in lectures, papers, or grant proposals was solved overnight by OpenAI's October 6, 2026 release.

Following its October 6, 2026 paper release, OpenAI revised 14 mathematical manuscripts to correct errors in proofs, statements, hypotheses, and citations.

Mathematician Matt Zaremsky reported that four years of incremental research by his team on the Boone-Higman conjecture was rendered obsolete by OpenAI's October 6, 2026 release.

OpenAI's October 6, 2026 mathematics release included proofs or partial proofs of open mathematical problems that each required approximately three hours of compute time.