3 ms·
What about for automated proving? The math community overall seems to have accepted evidence without explanation.
by threatofrain 6y ago
What about for automated proving? The math community overall seems to have accepted evidence without explanation.
- 6gvONxR4sf7o 6y agoHave they? I thought automated theorem proving was still super niche.
- threatofrain 6y agoBut not the results and the consensus on them.
- DreamScatter 6y agoNot true
- threatofrain 6y agoSo mathematicians are still doubting the 4 color theorem? And the classification of finite groups?