You know what’s the amazing revelation from this past week?

We’ve finally learned what’s been crippling advances over all these decades in automated proof tech (Lean-like solvers/provers, AI-driven solvers/provers, better proof languages, better proof systems for code, etc)

— 99% of mathematicans, who you’d have thought would be driving automated proof tech, but actually hate it

World deserves, world needs, far better automated proof tech

Get rekt pure math commies, engineers taking control

🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶