Viewing a single comment thread. View all comments

ecnecn t1_jdruk43 wrote

Reply to comment by MysteryInc152 in Why is maths so hard for LLMs? by RadioFreeAmerika

Actually you can with Logic, Prolog wouldnt work otherwise. The basics of mathematics is logic equations. Propositional logic and predicative logic may express all math. rules and their application.

1

MysteryInc152 t1_jdruv58 wrote

I didn't say you couldn't. I said it's not highly encoded in language. Not everything that can be extracted from language can be extracted with the same ease.

3

ecnecn t1_jdrvfvr wrote

You are right just parts of mathematics are encoded like logic. It would need some hybrid system.

2