5 ms·
Dont confuse mathematics with the formal system. If you beleive mathematics = formal system then AI is obviously better at it, and we dont need humans. But the
by youoy 5d ago
Dont confuse mathematics with the formal system. If you beleive mathematics = formal system then AI is obviously better at it, and we dont need humans.
But then who decides why a statement is mor important than another? In the eyes of a formal systems all statements are born equal.
- adastra22 5d agoI didn't know some statements in math are more important than others?! Some are more useful, and that is something you can quantitatively ask.
- youoy 4d agoHow can you quantitatively evaluate that? By how many times it is used in the literature? That can be gamed and there is an inherent bias on that