Hacker News Reader

What about for automated proving? The math community overall seems to have accepted evidence without explanation.

Have they? I thought automated theorem proving was still super niche.

But not the results and the consensus on them.

Not true

So mathematicians are still doubting the 4 color theorem? And the classification of finite groups?