3 ms·> Math seems like low hanging fruit in that regard. First-order logic is undecidable, so no dice.by Tainnor 2y ago> Math seems like low hanging fruit in that regard. First-order logic is undecidable, so no dice.