Thomas Coratger

My journey as a researcher began with a PhD in applied math for the automotive & aeronautic industries!

Every day now, I'm amazed by the parallels between solving physics problems and building eth future.

Blockchain draws from so many fields — an often underappreciated fact!

I think this slide from Terence Tao perfectly captures the future of mathematics with AI assistance.

And I strongly believe the same transformation is coming to cryptography, Ethereum, and protocol research more broadly!

With repositories now containing hundreds of thousands of Lean4 proofs, we'll need much better tooling to visualize proofs and their dependencies.

Something that helps humans build mental models and reason about proofs intuitively.

Maybe this already exists and I've missed it?

Mission 2028 puts formal verification at its core!

EthLib is a central part of this effort, and we've already made tremendous progress.

We need more eyes, more contributors, and more agents to help push this massive effort forward!

github.com/ethereum/EthLib

At Devcon 8 Mumbai, @drakefjustin and @kevaundray detailed how Ethereum is accelerating its post-quantum defenses to survive our world existential threats. 🧵👇