alt Hacker NewsTerence Tao, one of the most important living mathematicians, specifically embraces Lean and has been helping the community embrace it.
What you've done here is an overgeneralization. "People who like math" and "people who like computers" are massive demographics with considerable overlap.
Replies
groundzeros2015 • yesterday at 4:19 PM
> one of the most important living
Maybe. But more clearly one of the most popular online.
➕ show 1 reply
Formalised proofs and Lean in particular are still too cumbersome for the ``working'' mathematician to use it day-to-day for research-level math. But clearly there is some interest on where it may take us in future.