Mathematicians care about interesting ideas, not whether their theorems are true :-)
They care about if it’s true. But the role of the formal proof is a kind of spell checker or static analysis after they have the idea.
alt Hacker News
They care about if it’s true. But the role of the formal proof is a kind of spell checker or static analysis after they have the idea.